Utilisateur:Eusebius

Un article de Wikipédia, l'encyclopédie libre.

Ingénieur et Master of Science en Informatique, bientôt docteur (?), chercheur en Intelligence Artificielle, enseignant en université. Je suis principalement occupé à mettre le dawa sur les projets logique, informatique et sécurité informatique.

[modifier] Ouvrages référencés

Je possède (et j'ai plus ou moins lu) les ouvrages suivants, qui sont référencés sur Wikipédia. Donc si vous avez besoin d'une information dessus...

• (en) Patrick Blackburn, Maarten de Rijke et Yde Venema, Modal Logic, 2001 [détail des éditions]
• (en)Brian F. Chellas, Modal logic, an introduction, 1980 [détail des éditions]
• (en)Stuart Russel and Peter Norvig, Artificial Intelligence: a Modern Approach, 2003 [détail des éditions]
• (en)Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence, 1987 [détail des éditions]
• (en) Tom M. Mitchell, Machine Learning, 1997 [détail des éditions]
• Yves Noyelle, Belle programmation et langage C, 2001 [détail des éditions]
• Brian W. Kernighan et Dennis M. Ritchie, Le langage C, 1990 [détail des éditions]
• Alan Turing, Jean-Yves Girard, La machine de Turing, 1995 [détail des éditions]
• Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard, Le théorème de Gödel, 1989 [détail des éditions]
• Apostolos Doxiadis, Oncle Petros et la conjecture de Goldbach, 2000 [détail des éditions]
• (en)Michael Wooldridge, An Introduction to MultiAgent Systems, 2002 [détail des éditions]

[modifier] Bookmarks