Analyse und Transformation von Hornklausel-Programmen unter Verwendung von Templateketten
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | alemán |
| Publicado: |
Kaiserslautern
1986
|
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2536695 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Schmuecker, Astrid | |
| 245 | 1 | 0 | |a Analyse und Transformation von Hornklausel-Programmen unter Verwendung von Templateketten |
| 246 | 3 | |a SCHMUECKER, Astrid.- | |
| 264 | 1 | |a Kaiserslautern |c 1986 | |
| 300 | |a 289 S. |b m.Abb. |c 8° | ||
| 500 | |a 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. | ||
| 852 | |c D 211.677 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Analyse und Transformation von HornklauselProgrammen unter Verwendung von Templatekettenj Mit Zsfassung. Kaiserslautern 1986. 289 S.m.Abb. 8Kaiserslautern,naturwiss.Diss.1986.1988 Seh. |a signature: D 211.677 |a author: SCHMUECKER, Astrid. |a published: 1988 | ||