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.