Mathematical knowledge management third international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /

• 作者：Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).
• 出版者：Springer
• 出版地：Berlin ; New York :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 電子資源：https://doi.org/10.1007/b100478
• ISBN/ISSN/ISRC：9783540230298 (paper)
• 作者：Asperti, Andrea.;Bancerek, Grzegorz.;Trybulec, Andrzej.
• 索書號：510.285