Summary goes here
Zapisane w:
| Format: | Książka |
|---|---|
| Język: | angielski |
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| 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. |