Summary goes here
Uloženo v:
| Médium: | Kniha |
|---|---|
| Jazyk: | angličtina |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 8aaef9c1-e0de-40ef-b0ba-8af54217a95c |
| isbn | 9783540439592 (pt. I : softcover : alk. paper) 9783540439608 (pt. II : softcover : alk. paper) |
| issn | |
| language | eng |
| physical | 2 volumes :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©2002 |
| publishDate | ©2002 |
| subjects | |
| title | Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.). |
| topic | Kowalski, Robert. Automatic theorem proving. Logic programming. Logic programming languages. |