Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... Notes in Computer Science (4548), Band 4548)
von
Nicola Olivetti
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-73098-9
ISBN-10: 3-540-73098-2
Springer
· 2007
