Enlarge

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 ; proceedings

Publication Data

Title Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 ; proceedings
Contributors Miki Hermann, Andrei Voronkov
Publisher Springer
Publication date 2006
Publication location Berlin
Language English

Descriptive Notes

International conference proceedings.

Topics

Logic programming :: Congresses
Automatic theorem proving :: Congresses

Catalogue Data

OBNB ID GBA695154
ISBN 10 3540482814
ISBN 13 9783540482819
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1053 xiii, 588 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 : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 ; proceedings. ISBN 9783540482819. Published by Springer in 2006. Publication and catalogue information, links to buy online and reader comments.