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...
Uloženo v:
| Korporativní autor: | International Conference on Artificial Intelligence and Symbolic Mathematical Computation :Steyr, Autriche |
|---|---|
| Další autoři: | Calmet, Jacques, 1941-2019, mathématicien (Šéfredaktor, odpovědný redaktor), Campbell, John Arthur, 1940-...., mathématicien (Šéfredaktor, odpovědný redaktor), Pfalzgraf, Jochen (Šéfredaktor, odpovědný redaktor) |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
1138 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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 |
Podobné jednotky
- Artificial intelligence and symbolic computation : International Conference AISC 98, Plattsburg, New York, USA, September 16 18, 1998 : proceedings (Livre numérique)
- Artificial intellegience and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : rrevised papers (Livre numérique)
- Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings (Livre numérique)
- Artificial intelligence and symbolic mathematical computing : [first] International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings (Livre numérique)
- Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings (Livre numérique)

