Wordt geladen...
Symbolic, logic and mechanical theorem proving
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Printed Book |
| Taal: | English |
| Gepubliceerd in: |
New York
Academic Press
1973
|
| Onderwerpen: |
UL
| Plaatsingsnummer: |
519.6 CHA |
|---|---|
| Kopie | Status is onbeschikbaar |