Theorembeweisen mit assoziativen Prozessoren.
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | tedesco |
| Pubblicazione: |
Kaiserslautern
Univ., Fachbereich Informatik
1985
|
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Descrizione del documento: | 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. |
|---|---|
| Descrizione fisica: | 251 S. m.graph. Darst. 8° |