Matematika a počítačové důkazy

Abstrakt

Historie počítačů od formální informatiky k automatickým důkazům.

Klíčová slova

• Mathematics
• Automata
• Reasoning