Enlarge

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

Publication Data

Title Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Contributors H. Ganzinger, David A. McAllester, Andrei Voronkov
Publisher Springer
Publication date 1999
Publication location Berlon
Language English

Topics

Logic programming :: Congresses
Automatic theorem proving :: Congresses

Catalogue Data

OBNB ID GB9968888
ISBN 10 3540664920
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.11

ISBD

P1053 xii,395 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings. ISBN 3540664920. Published by Springer in 1999. Publication and catalogue information, links to buy online and reader comments.