Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-40787-4 / 978-3540407874 / 9783540407874

Verlag: Springer Berlin

Erscheinungsdatum: 03.09.2003

Seiten: 270

Auflage: 1

Zielgruppe: Research

Herausgegeben von Fiora Pirri, Marta Cialdea Mayer

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück