Enlarge

Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005

Publication Data

Title Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005
Contributors Geoff Sutcliffe, Andrei Voronkov
Publisher Springer
Publication date 2005
Publication location Berlin
Language English

Topics

Logic programming :: Congresses
Automatic theorem proving :: Congresses

Catalogue Data

OBNB ID GBA609781
ISBN 10 354030553X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1053 xiv, 744 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, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005. ISBN 354030553X. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.