Theorembeweisen mit assoziativen Prozessoren.
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | ドイツ語 |
| 出版事項: |
Kaiserslautern
Univ., Fachbereich Informatik
1985
|
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
| 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 |