Noch Fragen? 0800 / 33 82 637

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-540-66086-6 / 978-3540660866 / 9783540660866

Verlag: Springer Berlin

Erscheinungsdatum: 26.05.1999

Seiten: 334

Auflage: 1

Zielgruppe: Research

Herausgegeben von Neil V. Murray

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück