IOU Library

Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011 (Lecture Notes in Artificial Intelligence, 6793)

An electronic copy of book is available for Library Members

Further Details Info

Title	Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011 (Lecture Notes in Artificial Intelligence, 6793)
Call No
Authors	Kai Brünnler , George Metcalfe
Subjects	Springer 2011

An electronic copy of book is available for Library Members Sign in to view the book

no reviews

Sub Title:
Edition:
Volume:
Publisher:
Publishing Year: 101
ISBN:
Pages:

245: $a: Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011 (Lecture Notes in Artificial Intelligence, 6793)
245: $b:
082: $a:
100: $a: Kai Brünnler, George Metcalfe
650: $a: Springer 2011
250: $a:
440: $v:
250: $b:
250: $c: 101
020: $a:
300: $a:

Welcome to IOU Digital Library

Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011 (Lecture Notes in Artificial Intelligence, 6793)

Further Details Info

Fresh Arrivals