Mathematical knowledge management second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation....
Saved in:
Corporate Authors: | MKM 2003 Bertinoro, Italy) |
---|---|
Other Authors: | MKM 2003, Asperti, Andrea., Buchberger, Bruno., Davenport, James Harold, 1953-, SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2003.
Berlin ; New York : [2003] |
Physical Description: |
1 online resource (x, 223 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
2594. |
Subjects: |
In Prospector
Similar Items
-
Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
Published: (2006) -
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
Published: (2005) -
Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings
Published: (2008) -
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
Published: (2009) -
Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, proceedings
Published: (2011)