Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / edited by Harald Ganzinger, David McAllester, Andrei Voronkov.
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the subm...
Full description
Saved in: