ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "automated theorem proving"
automated theorem proving
Publikace
Předměty
Osoby
Publikace
Studium
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
Publikace na Matematicko-fyzikální fakulta
|
1998
1 osoba
Osoba
person
Mgr. Ing. Pavel Vanoušek Ph.D.
Matematicko-fyzikální fakulta
