L'intelligence artificielle. Qu'est-ce que c'est exactement ? - Artificial Intelligence. What...

Qu'est-ce que l'intelligence artificielle ?...

Les fondements des mathématiques - The Foundations of Mathematics

La logique mathématique est née de questions philosophiques concernant les fondements des...

Une vue des logiques connexives - A View of Connexive Logics

Ce livre est la première monographie sur le thème des logiques connexives, une famille de logiques...

Logiques multivaluées : une introduction mathématique et informatique. Deuxième édition -...

Les logiques à plusieurs valeurs sont celles qui...

Fundamentos de L Gica E Teoria Da Computa O

Ce livre constitue une introduction autonome à la logique mathématique et à la théorie de la calculabilité pour les...

Applications philosophiques de la logique modale - Philosophical Applications of Modal...

Ce texte vise à transmettre une partie de l'intérêt...

La mise en oeuvre des langages de programmation : une introduction aux compilateurs et aux...

La mise en œuvre d'un langage de programmation...

La route Haskell vers la logique, les mathématiques et la programmation. Deuxième édition - The...

Il y a bien longtemps, lorsque Alexandre le Grand...

Utiliser la pensée systémique pour résoudre les problèmes du monde réel - Using Systems Thinking to...

La pensée systémique est très efficace pour...

Arguments naturels : Hommage à John Woods - Natural Arguments: A Tribute to John Woods

Le présent recueil d'essais rend hommage à John Woods à...

Kings College Pubn

Livres publiés jusqu'à présent par l'éditeur Kings College Pubn :