Histoire de la logique formelle, de ses applications matérielles et logicielles, et de la démonstration automatisée
Mots clés : histoire informatique logique
Informations
- Benjamin Wack
- 7 avril 2021 21:23
- Supports pédagogiques
- Français
- Master
Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances).
Commentaire(s)