Beholdninger: Mathematical knowledge management :

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	MKM 2003 :Bertinoro, Italy
Andre forfattere:	Buchberger, Bruno, 1942-...., mathématicien (Directeur de la publication), Davenport, James Harold, 1953- (Directeur de la publication), Asperti, Andréa, 1961- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 2594
Fag:	Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Informatique documentaire Mathématiques > Informatique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Mathematical knowledge management, Second international conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings, Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.), 2003, Berlin, Springer, 1 vol. (X-223 p.), Lecture notes in computer science, 3-540-00568-4 • Mathematical Knowledge Management, Texte imprimé, 9783662164938