Gopalan Nadathur – författare
Visar alla böcker från författaren Gopalan Nadathur. Handla med fri frakt och snabb leverans.
3 produkter
Programming with Higher-Order Logic
Av Dale Miller, Gopalan Nadathur
Inbunden, 2012
787 kr
Lägg i varukorg
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a …
Principles and Practice of Declarative Programming
International Conference, PPDP''99, Paris, France, September, 29 - October 1, 1999, Proceedings
E-bok, 2006
755 kr
Lägg i varukorg
Principles and Practice of Declarative Programming
International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings
Häftad, 1999
566 kr
Lägg i varukorg
This volume contains the papers presented at the 1999 International C- ference on Principles and Practice of Declarative Programming (PPDP'99) held in Paris from September 29 through October 1, 1999. PPDP'99 participated, together with the International Conference on Functional Programming (ICFP) …
