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 |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 196560 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Dilger, Werner | |
| 245 | 1 | 0 | |a Theorembeweisen mit assoziativen Prozessoren. |
| 246 | 3 | |a DILGER,Werner: | |
| 264 | 1 | |a Kaiserslautern |b Univ., Fachbereich Informatik |c 1985 | |
| 300 | |a 251 S. |b m.graph. Darst. |c 8° | ||
| 500 | |a 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. | ||
| 852 | |c 343.461 | ||
| 999 | |a Monographie | ||
| 591 | |a description: Theorembeweisen mit assoziativen Prozessoren. Mit Zsfassung. Kaiserslautern:Univ.,Fachbereich Informatik um 1985. 251 S.m.graph.Darst. 81987:462. Web. |a signature: 343.461 |a author: DILGER, Werner |a published: 1985 | ||
| 856 | 2 | 2 | |u https://bibsearch.uibk.ac.at/Theorembeweisen mit assoziativen Prozessoren. |y matching Alma Theorembeweisen mit assoziativen Prozessoren. (author 0.0%, title 100.0%, shelfmark 100.0%, overall 65.0%) |
| 999 | |z 65 |