Ładuje się......
Symbolic logic and mechanical theorem proving /
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Język: | Undetermined |
| Wydane: |
1973.
|
| Seria: | Computer science and applied mathematics,A series of monogra
|
University of Kerala
| Sygnatura: |
R14 L3 |
|---|---|
| Egzemplarz LC1 | Możliwość dostępu nieznana |