Yüklüyor......
Symbolic, logic and mechanical theorem proving
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
New York
Academic Press
1973
|
| Konular: |
UL
| Yer Numarası: |
519.6 CHA |
|---|---|
| Kopya Bilgisi | Konumu erişilebilir değil. |