ℹ️
🇬🇧
Search
Search for publications relevant for "matematiku"
matematiku
Publication
Class
Person
Publication
Programmes
Export current view
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
Otter
automata reasoning
Person
person
doc. RNDr. Antonín Jančařík Ph.D.
Faculty of Education
