Theorembeweisen mit assoziativen Prozessoren.
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Książka |
| Język: | niemiecki |
| Wydane: |
Kaiserslautern
Univ., Fachbereich Informatik
1985
|
| Dostęp online: | matching Alma Theorembeweisen mit assoziativen Prozessoren. (author 0.0%, title 100.0%, shelfmark 100.0%, overall 65.0%) |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Deskrypcja: | 343.461 -- DILGER,Werner: -- Theorembeweisen mit assoziativen Prozessoren. -- (Mit Zsfassung.) - [Kaiserslautern:Univ.,Fach- -- bereich Informatik um 1985.] 251 S.m.graph. -- Darst. 8° -- 1987:462. -- Web. |
|---|---|
| Opis fizyczny: | 251 S. m.graph. Darst. 8° |