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: Michael. Thielscher 25 träffar

Titel Författare År Språk
1 A theory of dynamic diagnosis Datafil Michael Thielscher 1997 Engelska
2-3 Introduction to the fluent calculus (flera utgåvor) Michael Thielscher 1998 Engelska
4-5 Fluent calculus planning with continuous change (flera utgåvor) Michael Thielscher 1999 Engelska
6 A theory of dynamic diagnosis Michael Thielscher 1997 Engelska
7-8 Challenges for action theories (flera utgåvor) Michael Thielscher cop. 2000 Engelska
9 Reasoning robots - the art and science of programming robotic agents Michael. Thielscher c2005 Engelska
10 Computational Logic in Multi-Agent Systems - 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Michael. Fisher 2009 Engelska
11 AI 2012: Advances in Artificial Intelligence Michael Thielscher 2012 Okänt
12 Challenges for Action Theories Michael Thielscher uuuu-uuuu Okänt
13 AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings Michael. Thielscher 2012 Engelska
14 Action Programming Languages Michael. Thielscher uuuu-uuuu Okänt
15 KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings Carsten. Lutz 2014 Engelska
16-17 Computer Games - 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers (flera utgåvor) 2017 Engelska
18 Reasoning Robots electronic resource : The Art and Science of Programming Robotic Agents / by Michael Thielscher Michael. author. Thielscher uuuu-uuuu Okänt
19 Computational Logic in Multi-Agent Systems Michael Fisher 2009 Okänt
20 KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings Carsten Lutz 2014 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.