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: Automated reasoning

Published in: 2011

By: Kai Brünnler & George Metcalfe

Fresh Arrivals