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: Jacques Calmet 28 träffar

Titel Författare År Språk
21 Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings Jacques Calmet uuuu-uuuu Okänt
22 Artificial Intelligence and Symbolic Computation - International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings N.Y.) International Conference AISC '98 (1998 : Plattsburgh International Conference AISC '98 1998 Engelska
23 Integrating Symbolic Mathematical Computation and Artificial Intelligence Jacques Calmet uuuu-uuuu Okänt
24 Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings 2018 Engelska
25 Intelligent Computer Mathematics - 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings Serge. Autexier 2010 Engelska
26 Design and Implementation of Symbolic Computation Systems - International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings International Symposium DISCO '96 International Symposium DISCO '96 1996 Engelska
27 Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings Gonzalo A. Aranda-Corral 2014 Okänt
28 Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings 2018 Okänt

Förra sidan 1 2

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.