Mathematics and Automata Reasoning | Charles Explorer

Mathematics and Automata Reasoning

Publication at Faculty of Mathematics and Physics |

2007

Abstract

History of computers from formal informatics to automata reasoning.

Keywords

Mathematics Automata Reasoning

Person