Summary goes here
Kaydedildi:
| Materyal Türü: | Kitap |
|---|---|
| Dil: | İngilizce |
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 0f0fa10a-cc0f-4308-bbac-8a2bc422a2a7 |
| isbn | 3540543333 9783540543336 0387543333 9780387543338 |
| issn | |
| language | eng |
| physical | viii, 133 pages :illustrations ;25 cm. |
| publication | – publisher: SpringerVerlag dateOfPublication: ©1991 |
| publishDate | ©1991 |
| subjects | |
| title | Instantiation theory : on the foundations of automated deduction / J.G. Williams. |
| topic | Automatic theorem proving. Automatic theorem proving. |