- 2 402 202 книги
- Поиск
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... Lecture Notes in Artificial Intelligence)
Автор: Serge Autexier, Автор: Jacques Calmet, Автор: David Delahaye, Автор: P.D.F. Ion, Автор: Laurence Rideau, Автор: Renaud Rioboo, Автор: Alan P. SextonКатегория: Компьютеры
Размер книги: 7.53 Mb
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth (Lecture Notes in Computer Science Theoretical Computer Sci)
Автор: Jacques Calmet, Автор: Willi Geiselmann, Автор: Jörn Müller-QuadeКатегория: Компьютеры
Размер книги: 4.10 Mb
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings (Lecture Notes in Computer Science)
Автор: Jacques Calmet, Автор: John A. Campbell (eds.)
Размер книги: 2.73 Mb
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August ... Papers (Lecture Notes in Computer Science)
Автор: Jacques Calmet, Автор: John A. Campbell
Размер книги: 2.58 Mb
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ... Lecture Notes in Artificial Intelligence)
Автор: Serge Autexier, Автор: Jacques Calmet, Автор: David Delahaye, Автор: P.D.F. Ion, Автор: Laurence Rideau, Автор: Renaud Rioboo, Автор: Alan P. Sexton
Размер книги: 8.02 Mb
Mathematical Methods in Computer Science
Автор: Jacques Calmet, Автор: Willi Geiselmann, Автор: Jörn Müller-Quade
Размер книги: 3.33 Mb
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002
Автор: Jacques Calmet, Автор: Belaid Benhamou, Автор: Olga Caprotti, Автор: Laurent Henocque, Автор: Volker SorgeКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.58 Mb
Mathematical Methods in Computer Science, MMICS 2008
Автор: Jacques Calmet, Автор: Willi Geiselmann, Автор: Jörn Müller-QuadeКатегория: CsLn_
Размер книги: 2.75 Mb
Intelligent Computer Mathematics: 10 conf., AISC2010, 17 conf., Calculemus 2010, 9 conf., MKM2010
Автор: Serge Autexier, Автор: Jacques Calmet, Автор: David Delahaye, Автор: P.D.F. Ion, Автор: Laurence Rideau, Автор: Renaud Rioboo, Автор: Alan P. SextonКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.60 Mb
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Автор: Jacques Calmet, Автор: Jan Plaza
Размер книги: 8.23 Mb
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Автор: Jacques Calmet, Автор: John A. Campbell
Размер книги: 2.71 Mb
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Автор: Jacques Calmet, Автор: Carla Limongelli
Размер книги: 4.10 Mb
