Theorembeweisen mit assoziativen Prozessoren.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | alemán |
| Publicado: |
Kaiserslautern
Univ., Fachbereich Informatik
1985
|
| Acceso en línea: | matching Alma Theorembeweisen mit assoziativen Prozessoren. (author 0.0%, title 100.0%, shelfmark 100.0%, overall 65.0%) |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Notas: | 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. |
|---|---|
| Descripción Física: | 251 S. m.graph. Darst. 8° |