Description: Mathematical knowledge management :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	MKM 2003 :Bertinoro, Italy
Autres auteurs:	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
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2594
Sujets:	Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Informatique documentaire Mathématiques > Informatique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	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

Description
Description:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540364696 (PDF)
ISSN:	1611-3349
Accès:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017