Histoire de la logique formelle, de ses applications matérielles et logicielles, et de la démonstration automatisée
Tags: histoire informatique logique
Infos
- Benjamin Wack
- April 7, 2021, 9:23 p.m.
- Learning resources
- French
- Master’s Degree
Histoire de la logique formelle, de ses applications matérielles et logicielles, et de la démonstration automatisée
Tags: histoire informatique logique
Comment(s)