Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 ... Notes in Computer Science, 1847, Band 1847)

Name: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 ... Notes in Computer Science, 1847, Band 1847)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Roy Dyckhoff

0 - Default Title

Product details

Binding:

Paperback

Edition:

1

Number of Pages:

452

Release Date:

2008-06-13

Publication Date:

2008-06-13

Publisher:

Springer

Languages:

Published: English, Original: English

ISBN10:

354067697X

ISBN13:

9783540676973

GPSR Manufacturer Reference:

[email protected]

Weight:

612 g

Buy on Amazon

Currently sold out