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: Geoff Sutcliffe
5 träffar
|
Titel |
Författare |
År |
Språk |
| 1-2 |
Logic for Programming, Artificial Intelligence, and Reasoning
(flera utgåvor)
|
Geoff. Sutcliffe
|
2005 |
Engelska |
| 3 |
Logic for Programming, Artificial Intelligence, and Reasoning: 12Th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : Proceedings (Lecture notes in computer science, Lecture notes in artificial intelligence 3835)
|
Geoff Sutcliffe
|
2005 |
Okänt |
| 4 |
TOOLympics 2019 - An overview of competitions in formal methods
|
Czech Republic Prague April 6–11 TACAS 2019 Ezio Bartocci
|
2019 |
Engelska |
| 5 |
Automated Deduction – CADE 28
|
André Platzer
|
2021 |
Engelska |
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.