Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /

This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addresse...

Full description

Bibliographic Details
Corporate Author:	MKM 2004 Białowieża, Poland
Other Authors:	Asperti, Andrea, Bancerek, Grzegorz, Trybulec, Andrzej
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, 2004 Berlin ; New York : c2004
Series:	Lecture notes in computer science ; 3119 Lecture notes in computer science ; 3119 Lecture notes in computer science ; 3119
Subjects:	Automatic theorem proving > Congresses Information storage and retrieval systems > Mathematics > Congresses Mathematics > Data processing > Congresses Mathématiques - Informatique - Congrès Systèmes d'information - Mathématiques - Congrès Théorèmes - Démonstration automatique - Congrès Automatic theorem proving Démonstration automatique de théorèmes Information storage and retrieval systems > Mathematics MATHEMATICS > Discrete Mathematics Mathematics > Data processing Mathématique discrète Mathématique Système d'information Mathematik Wissensmanagement Białowieża (2004) Electronic books Kongress > Białowieża > 2004 Conference papers and proceedings Kongress

Internet

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.95.I565 2004

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA76.95.I565 2004

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v. 3119

Brown University