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: José Júlio Alferes 21 träffar

Titel Författare År Språk
1 Reasoning with Logic Programming electronic resource / by Jose Julio Alferes, Luis Moniz Pereira Jose Julio. author. Alferes uuuu-uuuu Okänt
2 Logics in Artificial Intelligence: 9Th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : Proceedings (Lecture notes in computer science, 3229) José Júlio Alferes uuuu-uuuu Okänt
3 "Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006 Budva, Montenegro, June 2006 Revised Selected Papers" Jose Julio Alferes 2007 Okänt
4 Principles and Practice of Semantic Web Reasoning (vol. # 4187) electronic resource - 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers José Júlio. Alferes 2006 Engelska
5-6 Reasoning with logic programming (flera utgåvor) José Júlio Alferes 1996 Engelska
7-8 Reasoning with Logic Programming (flera utgåvor) José Júlio Alferes uuuu-uuuu Okänt
9-10 Dynamic logic programming (flera utgåvor) 1997 Engelska
11 Enabling tool support for formal analysis of ECA rules AnnMarie Ericsson 2009 Engelska
12 Logics in Artificial Intelligence - European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings European Workshop JELIA '96 European Workshop JELIA '96 1996 Engelska
13 Practical Aspects of Declarative Languages José Júlio Alferes uuuu-uuuu Okänt
14 Principles and Practice of Semantic Web Reasoning Jóse Júlio Alferes 2006 Okänt
15 Logics in artificial intelligence European Workshop on Logics in Artificial Intelligence 1996) (Évora : 1996 Engelska
16 Logics in Artificial Intelligence JELIA 2004 2004 Engelska
17 Logics in Artificial Intelligence European Workshop JELIA '96 1996 Engelska
18-19 Progress in artificial intelligence - 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999 : proceedings (flera utgåvor) Portuguese Conference on Artificial Intelligence 1999) Évora : cop. 1999 Engelska
20 Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings 2016 Engelska

1 2 Nästa sida

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.