Enlarge

Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings

Publication Data

Title Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings
Contributors Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov
Publisher Springer
Publication date 2013
Publication location Heidelberg
Language English

Topics

Logic programming :: Congresses
Artificial intelligence :: Congresses
Automatic theorem proving :: Congresses

Catalogue Data

OBNB ID GBB404521
ISBN 10 3642452205
ISBN 13 9783642452208
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1053 xiv, 794 pages
P1042 Includes bibliographical references and author 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 : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings. ISBN 9783642452208. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.