Yüklüyor......
Logic for computer science : foundations of automatic theorem proving /
| Yazar: | |
|---|---|
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
New York :
Dover,
2015
|
| Edisyon: | 2nd ed. |
| Konular: |
University of Calicut
| Yer Numarası: |
511.360285 GAL/L |
|---|---|
| Kopya Bilgisi | Konumu erişilebilir değil. |