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: Alan Bundy 15 träffar

Titel Författare År Språk
1 Catalogue of Artificial Intelligence Techniques Alan Bundy 1990 Okänt
2 Artificial intelligence - an introductory course cop. 1978 Engelska
3 Artificial intelligence techniques - a comprehensive catalogue cop. 1997 Engelska
4 Artificial Intelligence Techniques : A Comprehensive Catalogue 1997 Okänt
5 Automated deduction - CADE-12 - proceedings International Conference on Automated Deduction 1994) Nancy : cop. 1994 Engelska
6 The computer modelling of mathematical reasoning Alan Bundy 1983 Engelska
7 Rippling : meta-level guidance for mathematical reasoning / Alan Bundy and three others. electronic resource Alan Bundy uuuu-uuuu Okänt
8 Catalogue of artificial intelligence techniques 1990 Engelska
9 Catalogue of artificial intelligence tools 1984 Engelska
10 Catalogue of Artificial Intelligence Tools 1986 Okänt
11 Directory of Australian academic libraries 1981 Engelska
12 Proceedings of the eighth International joint conference on artificial intelligence, IJCAI 83 - 8-12 August 1983, Karlsruhe, West Germany International Joint Conference on Artificial Intelligence 1983) Karlsruhe : cop. 1983 Engelska
13 Rippling - meta-level guidance for mathematical reasoning 2005 Engelska
14 Rippling: Meta-Level Guidance for Mathematical Reasoning 2005 Engelska
15 Rob Milne - a tribute to a pioneering AI scientist, entrepreneur and mountaineer 2006 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.