A theorem proving associative processor
Werner Dilger ; Hans-Albert Schneider
| Year of publication: |
1985
|
|---|---|
| Authors: | Dilger, Werner ; Schneider, Hans-Albert |
| Publisher: |
Kaiserslautern |
| Subject: | Automatisches Beweisverfahren | Assoziativprozessor | Mikroprozessor |
| Extent: | 73 Bl. : graph. Darst. |
|---|---|
| Series: | Interner Bericht / Universität Kaiserslautern, Fachbereich Informatik. - Kaiserslautern. - Vol. 145 |
| Type of publication: | Book / Working Paper |
| Source: |
Persistent link: https://www.econbiz.de/10004050586