Logic Programming and Automated Reasoning International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / edited by Andrei Voronkov.
This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem provi...
Full description
Saved in: