A Theorem proving associative processor
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2538198 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Schneider, Hans-Albert | |
| 245 | 1 | 0 | |a A Theorem proving associative processor |
| 246 | 3 | |a SCHNEIDER, Hans-Albert | |
| 500 | |a SCHNEIDER, Hans-Albert: -- A Theorem proving associative processor.1985 -- s.DILGER, Werner. | ||
| 852 | |c T 20.678/145 | ||
| 999 | |a Verweis |b SCHNEIDER, Hans-Albert |c DILGER, Werner | ||
| 591 | |a description: A Theorem proving associative processor.1985s.DILGER,Werner. |a signature: T 2o.678145 |a author: SCHNEIDER, HansAlbert |a published: 1985 | ||