Welcome, Guest.Sign in for full access to IOU Digital Library's resources.

Welcome to IOU Digital Library

Refine your Search

Useful Links

Page 1 | Results on this page: 1 | Digital Books: 1 | Physical Books: 0

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

Subjects: Springer 2011

Published in: 101

Availability: 1 of 1(eBook)

By: Kai Brünnler ,  George Metcalfe

Fresh Arrivals