Towards Mechanized Mathematical Assistants [Recurso electrónico] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Manuel Kauers, Manfred Kerber, Robert Miner, W

By: Kauers, Manuel
Contributor(s): Kerber, Manfred | Miner, Robert | Windsteiger, Wolfgang | SpringerLink (Online service)
Material type: Computer fileComputer file; Format: electronic available online remoteSeries: Lecture Notes in Computer Science, 4573Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Description: v.: digitalISBN: 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: Texto completo In: Springer e-books
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
No physical items for this record

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments for this item.

to post a comment.

Powered by Koha