A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

€ 62,49

Logic for Programming, Artificial Intelligence, and Reasoning — 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. An English-language digital edition by Martin Davis (Editor); Ansgar Fehnker (Editor); Annabelle McIver (Editor); Andrei Voronkov (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2502564 Category:

Description

About this book

This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in…

Catalogue preview, eBooks.com

Edition details

  • Author / contributors: Martin Davis (Editor); Ansgar Fehnker (Editor); Annabelle McIver (Editor); Andrei Voronkov (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: December 01, 2015
  • Language: English
  • ISBNs: 9783662488980; 9783662488997
  • Digital formats: PDF

Additional information

Author

Martin Davis (Editor); Ansgar Fehnker (Editor); Annabelle McIver (Editor); Andrei Voronkov (Editor)
Publisher

Springer Berlin Heidelberg
Language

English
ISBN

9783662488980, 9783662488997
Format

PDF
Publication date

December 01, 2015
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Logic for Programming, Artificial Intelligence, and Reasoning”

Your email address will not be published. Required fields are marked *

Related products