Charles Explorer logo
🇬🇧
Search for publications relevant for "OTTER"

Mathematics and the computer proofs

Publication at Faculty of Mathematics and Physics, Faculty of Education |
2008
1 person

Abstract

The use of computers in mathematics.

Keywords

Otterautomata reasoning

Person