Theorembeweisen mit assoziativen Prozessoren.
Sparad:
| Huvudupphov: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | tyska |
| Utgiven: |
Kaiserslautern
Univ., Fachbereich Informatik
1985
|
| Taggar: |
Inga taggar, Lägg till första taggen!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 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 | ||