The use of data processing machines in the recognition and proof of arithmetical theorems translated into B-mathematical language
by Jostein Amlien and Nils Aall Barricelli
Bok Engelsk 1983
Les boka på nett
Digital utgave: Søke-URL
| Utgitt | Oslo : Blindern Theoretic Research Team , 1983
|
|---|---|
| Omfang | 10,[6] bl.
|
| Opplysninger | Har bibliografi.
|
| Emner | |
| Dewey |
