ENGLISH

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

By Harald Ganzinger , David McAllester , Andrei Voronkov

Book information

Publisher
Springer
Year
1999
ISBN
9783540664925, 3540664920
Open Library ID
OL9386010M
Language
english
Format
PDF
Filesize
22 MB (22730200 bytes)
Series
Lecture Notes in ... / Lecture Notes in Artificial Intelligence
Edition
1
Pages
410\410
Time added
2009-08-06 05:14:26

Description

Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning held in Tbilisi, Georgia, September 6-10, 1999. Softcover.

Similar books