Yüklüyor......
Logic for computer science: foundations of automatic theorem proving
| Yazar: | |
|---|---|
| Materyal Türü: | Printed Book |
| Baskı/Yayın Bilgisi: |
New York, John Wiley & Sons, Inc
1987
|
| Konular: |
MG University
| Yer Numarası: |
511.3 M7 |
|---|---|
| Kopya Bilgisi | Konumu erişilebilir değil. |