Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ganzinger, Harald (Editor, http://id.loc.gov/vocabulary/relators/edt), McAllester, David (Editor, http://id.loc.gov/vocabulary/relators/edt), Voronkov, Andrei (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Artificial Intelligence ; 1705
• Subjects: Artificial intelligence.; Architecture, Computer.; Computer logic.; Computer programming.; Mathematical logic.; Artificial Intelligence.; Computer System Implementation.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.

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...