History of Computing, digital and information technologies

Thema UBB

41 tuit · page 2/2
The pre-history of automated reasoning
Humanities, Social Sciences & Thought Computing & Cybersecurity
EN

The pre-history of automated reasoning

Richard Zach
129 min
★ ★ ★ ★ ★ 5/5
History of LogicAutomated ReasoningTheorem Proving