A little wonder in every chapter. Find your next favourite read

Logic for Programming, Artificial Intelligence, and Reasoning

€ 62,49

Logic for Programming, Artificial Intelligence, and Reasoning — 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. An English-language digital edition by Ken McMillan (Editor); Aart Middeldorp (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-2480357 Category:

Description

About this book

Logic for Programming, Artificial Intelligence, and Reasoning — 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. An English-language digital edition by Ken McMillan (Editor); Aart Middeldorp (Editor); Andrei Voronkov (Editor), available in PDF.

Edition details

  • Author / contributors: Ken McMillan (Editor); Aart Middeldorp (Editor); Andrei Voronkov (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: December 05, 2013
  • Language: English
  • ISBNs: 9783642452208; 9783642452215
  • Digital formats: PDF

Additional information

Author

Ken McMillan (Editor); Aart Middeldorp (Editor); Andrei Voronkov (Editor)

Publisher

Springer Berlin Heidelberg

Language

English

ISBN

9783642452208, 9783642452215

Format

PDF

Publication date

December 05, 2013

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 *