Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Manuel Kauers, Manfred Kerber, Robert Miner, W [Recurso electrónico] :
Kauers, Manuel.
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Manuel Kauers, Manfred Kerber, Robert Miner, W [Recurso electrónico] : - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4573 0302-9743 ; .
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
9783540730866
Artificial intelligence
Computer Communication Networks
Data mining
Database management
Information systems
Mathematics
Computer Science
Artificial Intelligence (incl. Robotics)
Computer Communication Networks
Data Mining and Knowledge Discovery
Database Management
Information Systems Applications (incl.Internet)
Mathematics, general
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Manuel Kauers, Manfred Kerber, Robert Miner, W [Recurso electrónico] : - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4573 0302-9743 ; .
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
9783540730866
Artificial intelligence
Computer Communication Networks
Data mining
Database management
Information systems
Mathematics
Computer Science
Artificial Intelligence (incl. Robotics)
Computer Communication Networks
Data Mining and Knowledge Discovery
Database Management
Information Systems Applications (incl.Internet)
Mathematics, general