Mathematics and Automata Reasoning

Abstract

History of computers from formal informatics to automata reasoning.

Keywords

• Mathematics
• Automata
• Reasoning