A Guided Tour of Artificial Intelligence Research: 1., Knowledge Representation, Reasoning and Learning / Pierre MARQUIS ; Odile PAPINI ; Henri PRADE

Titre : A Guided Tour of Artificial Intelligence Research: 1., Knowledge Representation, Reasoning and Learning Type de document : texte imprimé Auteurs : Pierre MARQUIS, Éditeur scientifique ; Odile PAPINI, Éditeur scientifique ; Henri PRADE, Éditeur scientifique Editeur : Springer Nature Switzerland Année de publication : 2020 Importance : 803 p. ISBN/ISSN/EAN : 978-3-030-06163-0 Note générale : General Presentation of the Guided Tour of Artificial Intelligence Reasearch Contents Preface Foreword Index Catégories : Intelligence artificielle Intelligence computationnelle Index. décimale : 006.3 Intelligence artificielle Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014612	006.3 GUI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

A Guided Tour of Artificial Intelligence Research: 2., AI Algorithms / Pierre MARQUIS ; Odile PAPINI ; Henri PRADE

Titre : A Guided Tour of Artificial Intelligence Research: 2., AI Algorithms Type de document : texte imprimé Auteurs : Pierre MARQUIS, Éditeur scientifique ; Odile PAPINI, Éditeur scientifique ; Henri PRADE, Éditeur scientifique Editeur : Springer Nature Switzerland Année de publication : 2020 Importance : 803 p. Note générale : General Presentation of the Guided Tour of Artificial Intelligence Reasearch Contents Preface Foreword Index Catégories : Intelligence artificielle Intelligence computationnelle Index. décimale : 006.3 Intelligence artificielle Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014567	006.3 MAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 30/09/2025

A Guided Tour of Artificial Intelligence Research: 3., Interfaces and Applications of Artificial Intelligence / Pierre MARQUIS ; Odile PAPINI ; Henri PRADE

Titre : A Guided Tour of Artificial Intelligence Research: 3., Interfaces and Applications of Artificial Intelligence Type de document : texte imprimé Auteurs : Pierre MARQUIS, Éditeur scientifique ; Odile PAPINI, Éditeur scientifique ; Henri PRADE, Éditeur scientifique Editeur : Springer Nature Switzerland Année de publication : 2020 Importance : 803 p. Note générale : General Presentation of the Guided Tour of Artificial Intelligence Reasearch Contents Preface Foreword Index Catégories : Intelligence artificielle Intelligence computationnelle Index. décimale : 006.3 Intelligence artificielle Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014580	006.3 MAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 30/09/2025

Handbook of Model Checking / Edmund M. CLARKE

Titre : Handbook of Model Checking Type de document : texte imprimé Auteurs : Edmund M. CLARKE, Directeur de publication ; Thomas A. HENZINGER, Directeur de publication ; Helmut VEITH, Directeur de publication ; Roderick BLOEM, Directeur de publication Editeur : Springer Nature Switzerland Année de publication : 2018 Importance : 1210 p. ISBN/ISSN/EAN : 978-3-319-10574-1 Note générale : Foreword Preface Acknowledgements Contributors Contents Index Catégories : Logiciels:Vérification Vérification de modèles (informatique) Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Introduction to Model Checking Temporal Logic and Fair Discrete Systems Modeling for Verification Automata Theory and Model Checking Explicit-State Model Checking Partial-Order Reduction Binary Decision Diagrams BDD-Based Symbolic Model Checking Propositional SAT Solving SAT-Based Model Checking Satisfiability Modulo Theories Compositional Reasonning Abstraction and Abstraction Refinement Interpolation and Model Checking Predicate Abstraction for Program Verification Combining Model Checking and Data-Flow Analysis Model Checking Procedural Programs Model Checking Concurrent Programs Combining Model Checking and Testing Combining Model Checking and Deduction Model Checking Parameterized Systems Model Checking Security Protocols Transfer of Model Checking to Industrial Practice Functionnal Specification of Hardware via Temporal Logic Symbolic Trajectory Evaluation The mu-Calculus and Model Checking Graph Games and Reactive Synthesis Model Checking Probabilistic Systems Model Checking Real-Time Systems Verification of Hybrid Systems Symbolic Model Checking in Non-Boolean Domains Process Algebra and Model Checking

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014650	004.2 CLA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

1 (1 - 4 / 4) Par page : 25 50 100 200