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: Toby. Walsh 32 träffar

Titel Författare År Språk
1 SAT 2005. - satisfiability research in the year 2005 Enrico Giunchiglia 2006 Engelska
2-3 Abstraction, reformulation, and approximation - 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceeding (flera utgåvor) Reformulation and Approximation 2000) Horseshoe Bay : International Symposium on Abstraction cop. 2000 Engelska
4 Algorithmic Decision Theory - 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings 2015 Engelska
5 Algorithmic Decision Theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings 2015 Okänt
6-7 Theory and Applications of Satisfiability Testing - 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings (flera utgåvor) Fahiem. Bacchus 2005 Engelska
8 Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings CP 2001 CP 2001 2001 Engelska
9 A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice (Synthesis Lectures on Artificial Intelligence and Machine Learning) Francesca Rossi 2011 Okänt
10 SAT 2005 electronic resource - Satisfiability Research in the Year 2005 Enrico. Giunchiglia 2006 Engelska
11 Handbook of constraint programming 2006 Engelska
12 Symmetry Breaking Ordering Constraints Zeynep Kiziltan 2004 Engelska
13-14 Principles and practice of constraint programming - 7th international conference : proceedings (flera utgåvor) International Conference on Principles and Practice of Constraint Programming 2001 : Paphos) cop. 2001 Engelska
15 Short Introduction to Preferences : Between AI and Social Choice Francesca Rossi 2011 Engelska
16 Abstraction, Reformulation, and Approximation - 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings SARA 2000 SARA 2000 2000 Engelska
17 Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings 2017 Engelska
18 Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings 2017 Okänt
19 Machines Behaving Badly: The Morality of AI Toby Walsh 2022 Okänt
20 2062 Toby Walsh 2018 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.