A Theorem proving associative processor.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Kaiserslautern
1985
|
| Schriftenreihe: | Interner Bericht
145 |
| Link zu Bibsearch: | matching Alma A Theorem proving associative processor. (author 13.3%, title 0.0%, shelfmark 4.1%, overall 5.5%) |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
| eBook bestellen: |
|
| Buch ausleihen: | zum Bestellen einloggen |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 196559 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Dilger, Werner | |
| 245 | 1 | 0 | |a A Theorem proving associative processor. |
| 246 | 3 | |a DILGER,Werner.- | |
| 264 | 1 | |a Kaiserslautern |c 1985 | |
| 300 | |a 73 Bl. |c 4° | ||
| 490 | 0 | |a Interner Bericht |v 145 | |
| 500 | |a DILGER,Werner.- -- A Theorem proving associative processor. -- Werner Dilger,Hans-Albert Schneider. - Kai= -- serslautern 1985.73 Bl.4° -- (Fachbereich Informatik,Univ.Kaiserslautern. -- Interner Bericht.145.) -- -- 1986:B 1329. -- Ir. | ||
| 700 | 1 | |a Schneider, Hans-Albert | |
| 852 | |c T 20.678/145 | ||
| 999 | |a Monographie | ||
| 591 | |a description: A Theorem proving assoziative processor.Werner Dilger,HansAlbert Schneider. Kaiserslautern 1985.73 Bl.c Fachbereich Informatik,Uni.Kaiserslautern.Interner Bericht.1986:B 1329. Ir |a signature: T 2o.6781Zf5 |a author: DILGER, Werner. |a published: 1329 | ||
| 856 | 2 | 2 | |u https://bibsearch.uibk.ac.at/A Theorem proving associative processor. |y matching Alma A Theorem proving associative processor. (author 13.3%, title 0.0%, shelfmark 4.1%, overall 5.5%) |
| 999 | |z 5 |