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 18 träffar

Titel Författare År Språk
1-2 Dynamic logic programming (flera utgåvor) 1997 Engelska
3-4 Reasoning with logic programming (flera utgåvor) José Júlio Alferes 1996 Engelska
5 Logics in artificial intelligence European Workshop on Logics in Artificial Intelligence 1996) (Évora : 1996 Engelska
6 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
7-8 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
9 Logics in Artificial Intelligence JELIA 2004 2004 Engelska
10 Logics in Artificial Intelligence European Workshop JELIA '96 1996 Engelska
11 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
12 Reasoning with Logic Programming José Júlio Alferes uuuu-uuuu Okänt
13 Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings 2016 Engelska
14 Enabling tool support for formal analysis of ECA rules AnnMarie Ericsson 2009 Engelska
15 Principles and Practice of Semantic Web Reasoning Jóse Júlio Alferes 2006 Okänt
16 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
17 Practical Aspects of Declarative Languages José Júlio Alferes uuuu-uuuu Okänt
18 Reasoning with Logic Programming electronic resource / by Jose Julio Alferes, Luis Moniz Pereira Jose Julio. author. Alferes uuuu-uuuu 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.