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
33 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-5 |
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 |
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 |
Handbook of constraint programming
|
|
2006 |
Engelska |
9 |
SAT 2005 electronic resource - Satisfiability Research in the Year 2005
|
Enrico. Giunchiglia
|
2006 |
Engelska |
10-11 |
Android dreams : the past, present and future of artificial intelligence / Toby Walsh
(flera utgåvor)
|
Toby Walsh
|
uuuu-uuuu |
Okänt |
12 |
Android dreams - the past, present and future of artificial intelligence
|
Toby Walsh
|
2017 |
Engelska |
13 |
Algorithmic Decision Theory - 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
|
|
2015 |
Engelska |
14 |
Faking it - artificial intelligence in a human world
|
Toby Walsh
|
2023 |
Engelska |
15 |
Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
|
|
2017 |
Engelska |
16 |
Theory and Applications of Satisfiability Testing: 8Th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings (Lecture notes in computer science, 3569)
|
Toby Walsh
|
uuuu-uuuu |
Okänt |
17 |
Machines That Think: The Future of Artificial Intelligence
|
Toby Walsh
|
2018 |
Okänt |
18 |
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 |
19 |
Machines that think - the future of artificial intelligence
|
Toby Walsh
|
2018 |
Engelska |
20 |
2062: The World That AI Made
|
Toby Walsh
|
2018 |
Okänt |
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.