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

Bibliographic Details
Corporate Authors:	MKM 2004 Białowieża, Poland, SpringerLink (Online service)
Other Authors:	Asperti, Andrea, Bancerek, Grzegorz, Trybulec, Andrzej
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2004.
Series:	Lecture notes in computer science ; 3119.
Subjects:	Mathematics > Data processing > Congresses. Information storage and retrieval systems > Mathematics > Congresses. Automatic theorem proving > Congresses. Mathématiques > Informatique > Congrès. Systèmes d'information > Mathématiques > Congrès. Théorèmes > Démonstration automatique > Congrès. Automatic theorem proving. Information storage and retrieval systems > Mathematics. Mathematics > Data processing. Mathématique discrète. Système d'information. Démonstration automatique de théorèmes. Mathématique. Mathematik. Wissensmanagement. Białowieża (2004) Electronic books. Conference proceedings. Kongress.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3119

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (x, 392 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	3540230297 9783540230298
ISSN:	0302-9743 ;