Noch Fragen? 0800 / 33 82 637

Automated Reasoning with Analytic Tableaux and Related Methods

16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-540-73098-9 / 978-3540730989 / 9783540730989

Verlag: Springer Berlin

Erscheinungsdatum: 21.06.2007

Seiten: 250

Auflage: 1

Zielgruppe: Research

Herausgegeben von Nicola Olivetti

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück