Noch Fragen? 0800 / 33 82 637

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Produktform: Buch / Einband - fest (Hardcover)


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-1-4020-6781-5 / 978-1402067815 / 9781402067815

Verlag: Springer Netherland

Erscheinungsdatum: 04.02.2008

Seiten: 602

Auflage: 1

Autor(en): Dov M. Gabbay, Walter Carnielli, Marcelo Coniglio, Paula Gouveia, Cristina Sernadas

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück