Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /

Saved in:
Bibliographic Details
Main Author: Giese, Martin (Author)
Other Authors: Waaler, Arild
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer 2009.
Series:Lecture Notes in Computer Science, 5607
Subjects:
Online Access:Click here to view the full text content
Tags: Add Tag
No Tags, Be the first to tag this record!