Charles Explorer logo
🇨🇿
Hledat publikace relevantní k dotazu "Reasons to Act"

Matematika a počítačové důkazy

Publikace na Matematicko-fyzikální fakulta, Pedagogická fakulta |
2008
1 osoba

Abstrakt

Možnosti využití počítačů v matematice.

Klíčová slova

Otterautomata reasoning

Osoba