Enlarge

Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20, 2015, Suva, Fiji, November 24-28, 2015 : proceedings

Publication Data

Title Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20, 2015, Suva, Fiji, November 24-28, 2015 : proceedings
Contributor Martin Davis
Publisher Springer
Publication date 2015
Publication location Heidelberg
Language English

Topics

Logic programming :: Congresses
Artificial intelligence :: Congresses
Reasoning :: Congresses

Catalogue Data

OBNB ID GBB5H6975
ISBN 10 3662488981
ISBN 13 9783662488980
Type BibliographicResource, Book
Dewey Classification 005.115

ISBD

P1053 xv, 640 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 : 20th International Conference, LPAR-20, 2015, Suva, Fiji, November 24-28, 2015 : proceedings. ISBN 9783662488980. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.