Syracuse

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

Droit d'auteur & propriété intellectuelle dans le numérique / Fabrice Matta...

Livre | Mattatia, Fabrice (19..-....) - ingénieur spécialisé dans le numérique. Auteur | 2022 - 3e édition

"Dans l'univers numérique, nous sommes à la fois consommateurs de contenus créés par d'autres et créateurs nous-mêmes. Publication de commentaires ou de contributions, mise en ligne de photos et de vidéos, téléchargement de musiqu...

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-....) - philosophe. Auteur | 2001

Quand la machine apprend : la révolution des neurones artificiels et de l'a...

Livre | Le Cun, Yann (1960-....). Auteur | 2019

"Nous vivons une révolution inouïe, inimaginable il y a encore cinquante ans, celle de la machine qui apprend, et qui apprend par elle-même. Au lieu d'exécuter les ordres d'un programme, la machine peut désormais acquérir par elle...