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 International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings - Lecture Notes in Computer Science

2005

Paperback (05 Sep 2005)

Save $2.49

  • RRP $61.51
  • $59.02
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Book information

ISBN: 9783540289319
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2005
Language: English
Number of pages: 346
Weight: 1120g
Height: 233mm
Width: 155mm
Spine width: 19mm