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: Enrico. Giunchiglia
6 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
SAT 2005. - satisfiability research in the year 2005
|
Enrico Giunchiglia
|
2006 |
Engelska |
| 2-3 |
Action languages, temporal action logics and the situation calculus
(flera utgåvor)
|
Enrico Giunchiglia
|
1999 |
Engelska |
| 4 |
Theory and applications of satisfiability testing. - 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
|
Italy) SAT 2003 (2003 : Santa Margherita Ligure
|
2004 |
Engelska |
| 5 |
SAT 2005 electronic resource - Satisfiability Research in the Year 2005
|
Enrico. Giunchiglia
|
2006 |
Engelska |
| 6 |
Theory and Applications of Satisfiability Testing: 6Th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : Selected Revised Papers (Lecture notes in computer science, 0302-9743 2919)
|
Enrico Giunchiglia
|
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.