skip to main content
Langue :
Afficher les résultats avec :
Filtré par : auteur: Calmet, Jacques supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Fleuriot, Jacques (Ed.) ; Wang, Dongming (Ed.) ; Calmet, Jacques (Ed.)

Appartient à la collection : Lecture Notes in Artificial Intelligence, 11110

Cham. Springer International Publishing. Imprint: Springer, 2018

2
Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Aranda-Corral, Gonzalo A ; Calmet, Jacques (Ed.) ; Martín-Mateos, Francisco J (Ed.)

Appartient à la collection : Lecture notes in computer science, 8884, ISSN 0302-9743

Cham. Springer International Publishing. Imprint: Springer, 2014

3
Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings

Campbell, John Arthur (1940-...) (Ed.) ; Calmet, Jacques (1941-...) (Ed.)

Lecture Notes in Computer Science ; 737

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

4
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

Campbell, John A (Ed.) ; Calmet, Jacques (1941-...) (Ed.) ; Pfalzgraf, Jochen (Ed.)

Lecture Notes in Computer Science ; 1138

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

5
Artificial Intelligence and Symbolic Computation : International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Computation : International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Plaza, Jan (Ed.) ; Calmet, Jacques (1941-...) (Ed.)

Lecture Notes in Computer Science ; 1476

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2006

6
Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers
Material Type:
ebook
Ajouter au Panier

Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

Campbell, John Arthur (1940-...) (Ed.) ; Calmet, Jacques (1941-...) (Ed.)

Lecture Notes in Computer Science ; 958

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

7
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
Material Type:
ebook
Ajouter au Panier

Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings

Calmet, Jacques (1941-...) (Ed.) ; Limongelli, Carla (Ed.)

Lecture Notes in Computer Science ; 1128

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

8
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Benhamou, Belaïd (1963-) (Ed.) ; Calmet, Jacques (1941-...) (Ed.) ; Sorge, Volker (Ed.) ; Henocque, Laurent (Ed.) ; Caprotti, Olga (Ed.)

Lecture Notes in Computer Science ; 2385

Berlin [etc.]. Springer, 201. ?

Refine Search Results

Date de parution 

Affiner à partir de Affiner jusqu'à

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.