Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov (Eds.).

Conference Author: LPAR (Conference) (6th : (1992 : 1999 : Saint Petersburg, Russia) Kiev, Ukraine)
Published: Berlin ; New York : Springer-Verlag, [1999]
Copyright Date: ©1999
Physical Description: xii, 395 pages ; 24 cm.
Additional Creators: Ganzinger, H. (Harald), 1950-, McAllester, David, 1956-, and Voronkov, Andrei, 1959-

Browse Nearby on Shelf

Finding items...

Series

Subject(s)

ISBN

3540664920 (Springer-Verlag)

Bibliography Note

Includes bibliographical references and index.

View MARC record | catkey: 2090262

Actions for Logic programming and automated reasoning : 6th International Conference, LPAR&#39;99, Tbilisi, Georgia, September 6-10, 1999 : proceedings