Logique. Volume 2, Méthodes formelles pour l'étude des programmes / Paul Go...

Livre | Gochet, Paul (1932-2011). Auteur | 1994

Logique. Volume 3, Méthodes pour l'intelligence artificielle / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 2000

Le langage de la perception / John Austin

Livre | Austin, John Langshaw (1911-1960). Auteur | 2007

Règles pour la direction de l'esprit / René Descartes

Livre | Descartes, René (1596-1650). Auteur | 1966 - 4e édition

Quantum probability, quantum logic / Itamar Pitowsky

Livre | Pitowsky, Itamar (1950-2010). Auteur | 1989

A formalization of set theory without variables / by Alfred Tarski and Stev...

Livre | Tarski, Alfred (1901-1983). Auteur | 1987

Introduction à la logique standard : calcul des propositions, des prédicats...

Livre | Vernant, Denis (1948-....). Auteur | 2001

Droit de l'intelligence artificielle / sous la direction de Alexandra Bensa...

Livre | Bensamoun, Alexandra (1974-....) - juriste. Directeur de publication | 2022 - 2e édition

L'intelligence artificielle est à un stade de développement qui permet d'envisager son appréhension par le droit. Ses applications se concrétisent et il n'est plus besoin de se projeter pour se représenter les progrès aussi ...

Logique pour l'informatique / Mathieu Jaume, Matthieu Journault, Marie-Jean...

Livre | Jaume, Mathieu. Auteur | 2020