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

Bibliographic Information

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

Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

(Lecture notes in computer science, 1705 . Lecture notes in artificial intelligence)

Springer-Verlag, c1999

Available at  / 44 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top