E-Unifikation für Primitiv-Rekursive Baumfunktionen von Heinrich Fassbender | Semantik und Implementierung | ISBN 9783826509179

E-Unifikation für Primitiv-Rekursive Baumfunktionen

Name: E-Unifikation für Primitiv-Rekursive Baumfunktionen
Author: Heinrich Fassbender

Semantik und Implementierung

67 Abb.

Archivierter Titel×

Einband - flex.(Paperback)

Softcover

273 Seiten

Verlag

Autor

Erscheinungsjahr

1995

ISBN-10

3-8265-0917-X

ISBN-13

978-3-8265-0917-9

Maße

20,5 x 14,5 cm, 410 gr

Lieferstatus

nicht verfügbar

Preis

49,00 €*

ca. 15 km um Ort

**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.