Delivery included to the United States

Automated Reasoning With Analytic Tableaux and Related Methods Lecture Notes in Artificial Intelligence

Automated Reasoning With Analytic Tableaux and Related Methods Lecture Notes in Artificial Intelligence 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science

2007

Paperback (21 Jun 2007)

Save $7.42

  • RRP $61.51
  • $54.09
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Book information

ISBN: 9783540730989
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2007
Language: English
Number of pages: 250
Weight: 403g
Height: 234mm
Width: 156mm
Spine width: 13mm