Analyse und Transformation von Hornklausel-Programmen unter Verwendung von Templateketten
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Deutsch |
| Veröffentlicht: |
Kaiserslautern
1986
|
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
| eBook bestellen: |
|
| Buch ausleihen: | zum Bestellen einloggen |
| Beschreibung: | D 211.677 -- SCHMUECKER, Astrid.- -- Analyse und Transformation von Hornklausel- -- Programmen unter Verwendung von Templateketten -- (Mit Zsfassung.) - Kaiserslautern 1986. 289 S.- -- m.Abb. 8° -- Kaiserslautern, naturwiss.Diss.1986. -- 1988! -- Sch. |
|---|---|
| Beschreibung: | 289 S. m.Abb. 8° |