Mechanizing hypothesis formation : mathematical foundations for a general theory /
57
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1978
|
| Subjects: |
57
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1978
|
| Subjects: |