Descripción: Theory and applications of satisfiability testing :

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	International Conference on Theory and Applications of Satisfiability Testing :Santa Margherita Ligure, Italie
Outros autores:	Giunchiglia, Enrico (Directeur de la publication), Tacchella, Armando (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 2919
Sujets:	Informatique Algorithmes Intelligence artificielle Analyse numérique Prise de décision Logique symbolique et mathématique Calcul des propositions Actes de congrès
Acceso en liña:	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:	• Theory and applications of satisfiability testing, 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, selected revised papers, Enrico Giunchiglia, Armando Tacchella (Eds.), Berlin, Springer, 2004, 1 vol. (XI-530 p.), Lecture notes in computer science, 3-540-20851-8 • Theory and Applications of Satisfiability Testing, Texte imprimé, 9783662208441

Descripción
descrición da copia:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540246053 (PDF)
ISSN:	1611-3349
Acceso:	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