DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
People respond when you tell them there is a great future in front of you, you can leave your past behind.
McMillan, Ken (Editor), and Middeldorp, Aart (Editor), and Voronkov, Andrei (Editor)
USD
51.65
Alibris /Alibris
Berlin Springer-Verlag Berlin and Heidelberg GmbH & Co. K 2013 2013 ed. Paperback New. 794 p. Theoretical Computer Science and General Issues , 8312. 178 Illustrations, black and white; XIV, 794 p. 178 illus. Intended for professional and scholarly audience.
ISBN10: 3642452205, ISBN13: 9783642452208, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world. [Einbeck, Germany] [Publication Year: 2013]
ISBN10: 3642452205, ISBN13: 9783642452208, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world. [Einbeck, Germany] [Publication Year: 2013]
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. ISBN 3642452205 9783642452208 [GB]
McMillan, Ken (Editor), and Middeldorp, Aart (Editor), and Voronkov, Andrei (Editor)
USD
72.54
ShopSpell via Alibris /Alibris
Berlin Springer-Verlag Berlin and Heidelberg GmbH & Co. K 2013 Paperback New. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues . XIV, 794 p. 178 illus. Intended for professional and scholarly audience.
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.