Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Freitext

Schlagwörter

Herausgeber/Autor

Titel

Reihe

Verlag

Erscheinungsjahr

ISBN

ISSN

Medium

Proof Theory and Automated Deduction

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 444 Seiten

Erscheinungsdatum: 30.11.2001

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel