
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581

20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
by Bart Demoen, Vladimir Lifschitz
Free delivery. Nothing extra to pay at checkout.
This volume contains the papers presentedat the 20th InternationalConference onLogicProgramming, held in Saint-Malo, France, September 6-10,2004.Since the ?rst meeting in this series, held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.
Description supplied by the publisher.