Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Towards Mechanized Mathematical Assistants Электронный ресурс 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, W

By: Kauers, ManuelContributor(s): Kerber, Manfred | Miner, Robert | Windsteiger, Wolfgang | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007ISBN: 9783540730866Subject(s): 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, generalOnline resources: Click here to access online In: Springer e-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.