Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.
By: Kauers, Manuel.
Contributor(s): Kerber, Manfred | Miner, Robert | Windsteiger, Wolfgang | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 4573.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Description: digital.ISBN: 9783540730866.Subject(s): Computer science | Computer Communication Networks | Database management | Data mining | Information systems | Artificial intelligence | Mathematics | Computer Science | Artificial Intelligence (incl. Robotics) | Data Mining and Knowledge Discovery | Information Systems Applications (incl.Internet) | Database Management | Computer Communication Networks | Mathematics, generalDDC classification: 006.3 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.