Mathematical knowledge management : Third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / [edited by] Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Date :

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 978-3-540-27818-4

Informatique

Intelligence artificielle

Réseaux d'ordinateurs

Théorèmes -- Démonstration automatique

Mathématiques

Informatique documentaire

Mathématiques -- Informatique

Classification Dewey : 004

Classification Dewey : 510

Classification Dewey : 510.285

Asperti, Andréa (1961-....) (Directeur de publication / publishing director)

Trybulec, Andrzej (Directeur de publication / publishing director)

Bancerek, Grzegorz (Directeur de publication / publishing director)

Collection : Lecture notes in computer science [Ressource électronique] / Berlin : Springer , [200.]-

Relation : Mathematical knowledge management : Third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.) / Berlin : Springer