ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "automated theorem proving"
automated theorem proving
Publikace
Předměty
Osoby
Publikace
Studium
publication
Experimenting with Machine Learning in Automated Theorem Proving
1999 |
Matematicko-fyzikální fakulta
publication
Automatické dokazování vět v teorii grup
2008 |
Matematicko-fyzikální fakulta
publication
Externí zdroje axiomů pro automatické dokazování vět
2009 |
Matematicko-fyzikální fakulta
publication
Automatické dokazování v teorii kvazigrup a lup
2010 |
Matematicko-fyzikální fakulta
publication
Nezávislost axiomů v neklasických logikách a automatické dokazování vět
Publikace bez příslušnosti k fakultě
publication
Automatické dokazování vět v teorii čísel
2008 |
Matematicko-fyzikální fakulta
publication
Experimenting with Machine Learning in Automated Theorem Proving
Publikace bez příslušnosti k fakultě
publication
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
1998 |
Matematicko-fyzikální fakulta
publication
Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATP
Publikace bez příslušnosti k fakultě
publication
Neekvivalence některých implikačních dedukčních vět
2010 |
Filozofická fakulta
publication
Experimenty se strojovým učením v automatickém dokazování vět
1999 |
Publikace bez příslušnosti k fakultě
publication
On the Independence of Axioms in BL and MTL
2008 |
Filozofická fakulta
publication
Wu Wen-Tsun: Tradiční čínská matematika jako inspirace
2012 |
Publikace bez příslušnosti k fakultě
publication
Syntactic Approach to Fuzzy Modal Logic in MTL
2009 |
Filozofická fakulta
publication
Independence of Axioms in Non-Classical Logics and ATP
2009 |
Filozofická fakulta
publication
Křížová verifikace pomocí ATP mizarovské MPTP výzvy k řešení problémů
2007 |
Matematicko-fyzikální fakulta