Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings /

Saved in:
Bibliographic Details
Author / Creator:Asperti, Andrea.
Imprint:Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 3119
Subject:
Format: E-Resource
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/7354466
Hidden Bibliographic Details
Other authors / contributors:Bancerek, Grzegorz.
Trybulec, Andrzej.
SpringerLink (Online service)
ISBN:9783540230298