Ładuje się......
Logic for computer science: foundations of automatic theorem proving
| 1. autor: | |
|---|---|
| Format: | Printed Book |
| Wydane: |
New York, John Wiley & Sons, Inc
1987
|
| Hasła przedmiotowe: |
MG University
| Sygnatura: |
511.3 M7 |
|---|---|
| Egzemplarz | Możliwość dostępu nieznana |