Wordt geladen...
Symbolic logic and mechanical theorem proving /
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Taal: | Undetermined |
| Gepubliceerd in: |
1973.
|
| Reeks: | Computer science and applied mathematics,A series of monogra
|
University of Kerala
| Plaatsingsnummer: |
R14 L3 |
|---|---|
| Kopie LC1 | Status is onbeschikbaar |