Artificial intelligence and symbolic mathematical computing : [first] International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appea...

Description complète

Détails bibliographiques

Collectivité auteur:	International Conference on Artificial Intelligence and Symbolic Mathematical Computation :Karlsruhe
Autres auteurs:	Campbell, John Arthur, 1940-...., mathématicien (Directeur de la publication), Calmet, Jacques, 1941-2019, mathématicien (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 737
Sujets:	Informatique Intelligence artificielle Analyse numérique Logique symbolique et mathématique Analyse combinatoire Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Artificial intelligence and symbolic mathematical computing, International Conference, AISMC-1, Karlsruhe, Germany, August 1992, proceedings, Jacques Calmet, John A. Campbell (eds), Heidelberg, Springer-Verlag, 1993, 1 vol. (305 p.), Lecture notes in computer science, 0-387-57322-4 • Artificial Intelligence and Symbolic Mathematical Computing, Texte imprimé, 9783662200285