
Logic-Based Program Synthesis and Transformation
Danny de Schreye
₹5,492

Proceedings of the 1999 International Conference on Logic Programming
Free delivery. Nothing extra to pay at checkout.
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.
Description supplied by the publisher.