Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, ... Notes in Computer Science (2381), Band 2381)
von:
Uwe Egly
· Christian G. Fernmüller
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-43929-5
ISBN-10: 3-540-43929-3
Springer
· 2008
