Integration of CiNii Books functions for fiscal year 2025 has completed

Nadathur, Gopalan

ID:DA12300395

Search authors sharing the same name

Search Results1-2 of 2

1

Programming with higher-order logic

Dale Miller, Gopalan Nadathur

Cambridge University Press 2012

Available at 5 libraries
2

Principles and practice of declarative programming : International Conference PPDP '99, Paris, France, September 29-October 1, 1999 : proceedings

Gopalan Nadathur (ed.)

Springer c1999 Lecture notes in computer science 1702

Available at 35 libraries

Search this author

Related Authors

PPDP