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

Date : 2004

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 3-540-23029-7

Mathématiques -- Informatique

Théorèmes -- Démonstration automatique

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

Bancerek, Grzegorz (Directeur de publication / publishing director)

Trybulec, Andrzej (Directeur de publication / publishing director)

International conference on mathematical knowledge management (3 ; 2004 ; Białowieża, PL) (Auteur / author)

Collection : Lecture notes in computer science / Berlin : Springer , 1973-

Relation : 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 / Berlin [etc.] : Springer