The Resolution calculus
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Livre |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin : New York (etc.) :
Heidelberg ; Springer,
1997.
|
| Seri Bilgileri: | Texts in theorical computer science
|
| Konular: |
BU Sciences
| Yer | Yer Numarası | Durum | |
|---|---|---|---|
|
|
Libre accès | 511.301 LEI | Kütüphanede |