Exemplaires: Automated deduction - CADE-16 :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International Conference on Automated Deduction :Trente, Italie
Autres auteurs:	Ganzinger, Harald, 1950-2004 (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science. Lecture notes in artificial intelligence 1632
Sujets:	Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique 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:	• Automated deduction, CADE 16, 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, proceedings, [edited by] Harald Ganzinger, 1999, New York, Springer, 1 vol. (XIV-428 p.), Lecture notes in computer science, 3-540-66222-7 • Automated Deduction - CADE-16, Texte imprimé, 9783662182055