Resolution Proof Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

An Algebraic Theory, Automated Reasoning Series 4

ISBN: 9401072515
ISBN 13: 9789401072519
Autor: Stachniak, Z
Verlag: Springer Verlag GmbH
Umfang: xvi, 208 S.
Erscheinungsdatum: 01.10.2011
Auflage: 1/2011
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4376431 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …