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: E-Buch Text Elektronisches Buch in proprietärem

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-48754-8 / 978-3540487548 / 9783540487548

Verlag: Springer Berlin

Erscheinungsdatum: 31.07.2003

Seiten: 334

Herausgegeben von Neil V. Murray

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück