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 →
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

€ 56,24

Automated Reasoning with Analytic Tableaux and Related Methods — 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings. An English-language digital edition by Didier Galmiche (Editor); Dominique Larchey-Wendling (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-2480220 Category:

Description

About this book

Automated Reasoning with Analytic Tableaux and Related Methods — 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings. An English-language digital edition by Didier Galmiche (Editor); Dominique Larchey-Wendling (Editor), available in PDF.

Edition details

  • Author / contributors: Didier Galmiche (Editor); Dominique Larchey-Wendling (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: September 11, 2013
  • Language: English
  • ISBNs: 9783642405365; 9783642405372
  • Digital formats: PDF

Additional information

Author

Didier Galmiche (Editor); Dominique Larchey-Wendling (Editor)
Publisher

Springer Berlin Heidelberg
Language

English
ISBN

9783642405365, 9783642405372
Format

PDF
Publication date

September 11, 2013
DRM

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

Reviews

There are no reviews yet.

Be the first to review “Automated Reasoning with Analytic Tableaux and Related Methods”

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

Related products