Histoire de l’informatique, du numérique et des technologies de l’information

Thema UBB

41 tuit · page 2/2
The pre-history of automated reasoning
Sciences humaines, sociales & pensée Informatique & Cybersécurité
FR

The pre-history of automated reasoning

Richard Zach
129 min
★ ★ ★ ★ ☆ 4/5
Histoire De La LogiqueDémonstration AutomatiqueThéorème De Herbrand