Mathematical knowledge management
Subtitle: third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
By: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).
Contributors: Asperti, Andrea.; Bancerek, Grzegorz.; Trybulec, Andrzej.
Series: Lecture notes in computer science -- 3119.
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 392
Subjects: Mathematics -- Data processing -- Congresses; Information storage and retrieval systems -- Mathematics -- Congresses; Automatic theorem proving -- Congresses
Genres: Congresses.
Other titles: MKM 2004.
Notes: Includes bibliographical references and index.