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

Remote Storage