Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996. The 19 revised full papers presented in the book were carefully selected by the program committee...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Συγγραφή απο Οργανισμό/Αρχή:	International Conference on Artificial Intelligence and Symbolic Mathematical Computation :Steyr, Autriche
Άλλοι συγγραφείς:	Calmet, Jacques, 1941-2019, mathématicien (Διευθυντής έκδοσης), Campbell, John Arthur, 1940-...., mathématicien (Διευθυντής έκδοσης), Pfalzgraf, Jochen (Διευθυντής έκδοσης)
Μορφή:	Livre numérique
Γλώσσα:	Anglais
Έκδοση:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Σειρά:	Lecture notes in computer science 1138
Θέματα:	Informatique Algorithmes Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Διαθέσιμο Online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Σημείωση:	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 computation, international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings, Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds, 1996, New York, Springer, 1 vol. (VIII-379 p.), Lecture notes in computer science, 3-540-61732-9 • Artificial Intelligence and Symbolic Mathematical Computation, Texte imprimé, 9783662175903