Harrie de Swart (EDT) Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings

Price for Eshop: 2028 Kč (€ 81.1)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2003

EAN/ISBN13: 978-3-540-69778-7

ISBN10: 3-540-69778-0

You can ask us about this book and we'll send an answer to your e-mail.