Summary goes here
I tiakina i:
| Hōputu: | Pukapuka |
|---|---|
| Reo: | Ingarihi |
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | cf76dd59-3fbf-4bdf-b9ce-913906ffaf0c |
| isbn | 3540439595 9783540439592 3540439609 9783540439608 |
| issn | |
| language | eng |
| physical | 2 v. :ill. ;24 cm. |
| publication | – publisher: Springer dateOfPublication: c2002 |
| publishDate | c2002 |
| subjects | |
| title | Computational logic : logic programming and beyond / Antonis C. Kakas, Fariba Sadri (eds.). |
| topic | Kowalski, Robert. Kowalski, Robert. Logic programming. Automatic theorem proving. Logic programming languages. Automatic theorem proving. Logic programming. Logic programming languages. |