EN
Révolutions informatiques
Livre imprimé - Sagot Nicole, Audoin Pierre, Heurgon Edith, Centre culturel international Colloque, 1972
Logique pour l'informatique
Livre imprimé - Jaume Mathieu, Journault Matthieu, Lesot Marie-Jeanne, Manoury Pascal, Mounier Isabelle, Raffalli Christophe, 2020
Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs appl...
Intelligence et informatique
Livre imprimé - Penzias Arno, Senneville Gérald de, 1990
Doc-informatique
Revue imprimée - Centre national de documentation pédagogique
Du boulier à l'informatique
Livre imprimé - Taurisson Alain, 1991
Histoire de l'informatique
Livre imprimé - Breton Philippe, 1987
