Filtry
Smart Induction for Isabelle/HOL
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
Simple Dataset for Proof Method Recommendation in Isabelle/HOL
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
Binary intersection formalized
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Isabelle de Keghel: Rekonstrukce předsovětských dějin : Diskuse nad identitou v novém Rusku
Recenze knihy.
AB - Dějiny
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Formalization of Basic Combinatorics on Words
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
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL
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
Towards evolutionary theorem proving for Isabelle/HOL
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
What the Italians Thought of Hussite Bohemia: Some Evidence from Mantua
History (history of science and technology to be 6.3, history of specific sciences to be under the respective headings)
- 2017 •
- O
Rok uplatnění
O - Ostatní výsledky
The Isabelle ENIGMA
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Maria Bellonci and her novels about the Italian Renaissance
General literature studies
- 2019 •
- O •
- Odkaz
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
- 1 - 10 z 59