Filtry
Hammering Mizar by Learning Clause Guidance
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Vampire with a Brain Is a Good ITP Hammer
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS
BD - Teorie informace
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
An Overview on Blockchain for Smartphones: State-of-the-Art, Consensus, Implementation, Challenges and Future Trends
Telecommunications
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The Tactician - A Seamless, Interactive Tactic Learner and Prover for Coq
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Natural language and proof-theoretic semantics : denotational ghosts in inferential machine
AA - Filosofie a náboženství
- 2015 •
- O
Rok uplatnění
O - Ostatní výsledky
Random resolution refutations
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Proving Corruption: International Arbitration Perspective
Law
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Algebraic proofs over noncommutative formulas
BA - Obecná matematika
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Are Proofs Objects or Acts? A Comparison of Prawitz’s and Sundholm’s Semantics
Philosophy, History and Philosophy of science and technology
- 2024 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
- 1 - 10 z 1 898