Descripció: Artificial intelligence, automated reasoning, and symbolic computation :

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	International Conference on Artificial Intelligence and Symbolic Mathematical Computation :Marseille, FR, CALCULEMUS (Autor)
Altres autors:	Benhamou, Belaïd, 1963- (Director editorial), Calmet, Jacques, 1941-2019, mathématicien (Director editorial), Caprotti, Olga (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science. Lecture notes in artificial intelligence 2385
Matèries:	Informatique Intelligence artificielle Analyse numérique Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Artificial intelligence, automated reasoning, and symbolic computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, Jacques Calmet ... [et al.], Berlin, Springer, 2002, 1 vol. (XI-341 p.), Lecture notes in computer science, 3-540-43865-3 • Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Texte imprimé, 9783662186886

Descripció
Descripció de l’ítem:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540454700 (PDF)
ISSN:	1611-3349 2945-9141
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