Items related to Logic for Programming, Artificial Intelligence, and...
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues) - Softcover
Synopsis
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.
The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2015
- ISBN 10 3662488981
- ISBN 13 9783662488980
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages655
- EditorDavis Martin, Fehnker Ansgar, McIver Annabelle, Voronkov Andrei
Search results for Logic for Programming, Artificial Intelligence, and...
Seller Image
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24823443-n
Quantity: Over 20 available
Stock Image
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020315134
Quantity: Over 20 available
Stock Image
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783662488980
Quantity: Over 20 available
Stock Image
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783662488980_new
Quantity: Over 20 available
Stock Image
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783662488980
Quantity: 10 available
Seller Image
Logic for Programming, Artificial Intelligence, and Reasoning
Published by
Springer Berlin Heidelberg Dez 2015, 2015
ISBN 10: 3662488981
ISBN 13: 9783662488980
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. 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, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world. 656 pp. Englisch. Seller Inventory # 9783662488980
Quantity: 2 available
Seller Image
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24823443-n
Quantity: Over 20 available
Seller Image
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Published by
Springer Berlin Heidelberg, 2015
ISBN 10: 3662488981
ISBN 13: 9783662488980
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. 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, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world. Seller Inventory # 9783662488980
Quantity: 1 available
Stock Image
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 602. Seller Inventory # 26372812752
Quantity: 4 available
Stock Image
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 602. Seller Inventory # 374281231
Quantity: 4 available