Matematika a počítačové důkazy | Charles Explorer

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

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

2008

Abstrakt

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

Klíčová slova

Otter automata reasoning

Osoba