Theory Unification in abstract clause graphs
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | engleski |
| Izdano: |
Kaiserslautern
1985
|
| Serija: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
142 |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Opis predmeta: | 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. |
|---|---|
| Opis fizičkog objekta: | 33 S. 4° |