History of Computing, digital and information technologies

Thema UBB

51 tuit · page 2/2
Applied Sciences & Engineering Computing & Cybersecurity
EN

Oral History of Rafi Nave

Rafi Nave
96 min
★ ★ ★ ★ ☆ 4/5
Intel 8087Oral HistoryChip Design
Formal & Physical Sciences Computing & Cybersecurity
EN

Oral History of James Sutherland

Computer History Museum
90 min
★ ★ ★ ★ ☆ 4/5
ECHO IVHome ComputerComputer History
Humanities, Social Sciences & Thought Computing & Cybersecurity
EN

The pre-history of automated reasoning

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