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

Auteur(s) : Hoos, Holger H.  Voir les notices liées en tant qu'auteur

Titre(s) : Theory and Applications of Satisfiability Testing [Texte électronique] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell

Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

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

Collection : Lecture Notes in Computer Science ; 3542
SpringerLink: Springer e-Books

Note(s) : Computer Science (Springer-11645)

Autre(s) auteur(s) : Mitchell, David G.. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Algorithmes  Voir les notices liées en tant que sujet
Systèmes d'exploitation (ordinateurs)  Voir les notices liées en tant que sujet
Intelligence artificielle  Voir les notices liées en tant que sujet
Analyse numérique  Voir les notices liées en tant que sujet
Prise de décision  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Calcul des propositions  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet ; 511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540315803

Identifiant de la notice  : ark:/12148/cb44685660f

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