Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Antonis Kakas
12 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II
|
Antonis C. Kakas
|
uuuu-uuuu |
Okänt |
| 2 |
Reasoning about actions, narratives, and ramifications Datafil
|
Antonis Kakas
|
1997 |
Engelska |
| 3 |
Reasoning about actions, narratives and ramifications
|
Antonis Kakas
|
1998 |
Engelska |
| 4 |
Abduction and induction - essays on their relation and integration
|
|
cop. 2000 |
Engelska |
| 5-6 |
Computational logic P. 1 - logic programming and beyond : essays in honor of Robert A. Kowalski
(flera utgåvor)
|
|
cop. 2002 |
Engelska |
| 7-8 |
Computational logic P. 2 - logic programming and beyond : essays in honor of Robert A. Kowalski
(flera utgåvor)
|
|
cop. 2002 |
Engelska |
| 9-10 |
Advances in informatics - 8th Panhellenic Conference on Informatics, PCI 2001, Nicosia, Cyprus, November 8-10, 2001 : revised selected papers
(flera utgåvor)
|
Cyprus) PCI 2001 2001 : Nicosia
|
cop. 2003 |
Engelska |
| 11 |
Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
|
|
2016 |
Engelska |
| 12 |
Abduction and Induction
|
Antonis C. Kakas
|
2000 |
Okänt |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.