Automated theorem Proving : a logical basis
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Livre |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
[S.l.] :
Ed. North-Holland,
1978.
|
| Seri Bilgileri: | Fundamental studies in computer science
6 |
| Konular: |
BU Lettres
| Yer | Yer Numarası | Durum | |
|---|---|---|---|
|
|
Magasins | 511.301 LOW |
Kütüphanede
Rezerve için, Ödünç Verme Masasına Başvurunuz 📩 |