From Logic Design to Logic Programming

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

Theorem Proving Techniques and P-Functions, Lecture Notes in Computer Science 271

ISBN: 3540182179
ISBN 13: 9783540182177
Autor: Snyers, Dominique/Thayse, Andre
Verlag: Springer Verlag GmbH
Umfang: iv, 125 S.
Erscheinungsdatum: 12.08.1987
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1483416 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …