Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Automated deduction - CADE-25 [Texte électronique] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / Amy P. Felty ... [et al.] (eds.)

Titre d'ensemble : Automated Deduction - CADE-25

Publication : Cham : Springer, 2015

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science : Lecture notes in artificial intelligence ; 9195

Autre(s) auteur(s) : Felty, Amy P.. Fonction indéterminée  Voir les notices liées en tant qu'auteur
International Conference on Automated Deduction (2015 ; Berlin ab 3.10.1990). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  006.333 (23e éd.) = Déduction, résolution de problèmes, raisonnement (intelligence artificielle)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783319214016

Identifiant de la notice  : ark:/12148/cb44680300j

Notice n° :  FRBNF44680300 (notice reprise d'un réservoir extérieur)