ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Reasons to Act"
Reasons to Act
Publikace
Předměty
Osoby
Publikace
Studium
Matematika a počítačové důkazy
Publikace na Matematicko-fyzikální fakulta
|
2007
1 osoba
Abstrakt
Historie počítačů od formální informatiky k automatickým důkazům.
Klíčová slova
Mathematics
Automata
Reasoning
Osoba
person
doc. RNDr. Antonín Jančařík Ph.D.
Pedagogická fakulta