Theory Unification in abstract clause graphs
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Kaiserslautern
1985
|
| Series: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
142 |
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1605073 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Ohlbach, Hans Juergen | |
| 245 | 1 | 0 | |a Theory Unification in abstract clause graphs |
| 246 | 3 | |a OHLBACH, Hans Juergen: | |
| 264 | 1 | |a Kaiserslautern |c 1985 | |
| 300 | |a 33 S. |c 4° | ||
| 490 | 0 | |a Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht |v 142 | |
| 500 | |a OHLBACH, Hans Juergen: -- Theory Unification in abstract clause graphs. -- Kaiserslautern 1985. 33 S. 4° -- (Fachbereich Informatik, Univ. Kaiserslautern. -- Interner Bericht 142.) -- 1986:3 116. -- Ir. | ||
| 852 | |c T 20.678/142 | ||
| 999 | |a Monographie | ||
| 591 | |a description: T 2o.673iwTheory Unification in abotract ciuse Kaiserslautern 1985.33 S. 4 Fachbereich Informatik , Univ.Kai jera LIntarner Bericht. 12 . 1936:3 j.16. ir. |a author: OHLBACH, Hans Juergen |a published: 1936 | ||