Histoire de l'informatique : logique et informatique

01:46:50
Nombre de vues 94
Nombre d’ajouts dans une liste de lecture 1
Nombre de favoris 0

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