Your search returned 11 results.

Not what you expected? Check for suggestions
Sort
Results
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet [and others] (eds.).

by AISC (Conference) (6th : 2002 : Marseille, France) | Calmet, Jacques | Calculemus 2000 (2002 : Marseille, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 2385. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Artificial Intelligence and Symbolic Computation.

by Calmet, Jacques | Plaza, Jan.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 1476.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, 1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.).

by AISC (Conference) (8th : 2006 : Beijing, China) | Calmet, Jacques | Ida, Tetsuo | Wang, Dongming, 1961-.

Series: Serienbezeichnung | LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4120. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2006Other title: AISC 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical methods in computer science : essays in memory of Thomas Beth / Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.).

by Calmet, Jacques | Geiselmann, Willi | Müller-Quade, Jörn.

Series: Serienbezeichnung | Lecture notes in computer science ; 5393. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet.

by European Computer Algebra Conference (1982 : Marseille, France) | Calmet, Jacques.

Series: Serienbezeichnung | Lecture notes in computer science ; 144.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1982Other title: EUROCAM '82.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings / edited by Jacques Calmet, John A. Campbell.

by Calmet, Jacques | Campbell, John A.

Series: Serienbezeichnung | Lecture notes in computer science ; 737.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings / edited by Jacques Calmet, Carla Limongelli.

by International Symposium DISCO '96 (1996 : Karlsruhe, Germany) | Calmet, Jacques | Limongelli, Carla.

Series: Serienbezeichnung | Lecture notes in computer science ; 1128.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers / edited by Jacques Calmet, John A. Campbell.

by AISMC (Conference) (2nd : 1994 : Cambridge, England) | Calmet, Jacques | Campbell, J. A, 1940-.

Series: Serienbezeichnung | Lecture notes in computer science ; 958.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg : Springer-Verlag, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings / edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.

by Calmet, Jacques | Campbell, John A | Pfalzgraf, Jochen.

Series: Serienbezeichnung | Lecture notes in computer science ; 1138.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings / Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martin-Mateos (eds.).

by AISC (Conference) (12th : 2014 : Seville, Spain) | Aranda-Corral, Gonzalo A [editor.] | Calmet, Jacques [editor.] | Martín-Mateos, Francisco, J [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8884. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham ; New York : Springer, [2014]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet.

by AISC (Conference) (13th : 2018 : Suzhou, China) | Fleuriot, Jacques, 1972- [editor.] | Wang, Dongming, 1961- [editor.] | Calmet, Jacques [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11110. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: AISC 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha