Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

59 (0,075s)

Výsledek výzkumu

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
Výsledek výzkumu

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
Výsledek výzkumu

Binary intersection formalized

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2021
  • Jimp
  • Odkaz
Výsledek výzkumu

Isabelle de Keghel: Rekonstrukce předsovětských dějin : Diskuse nad identitou v novém Rusku

Recenze knihy.

AB - Dějiny

  • 2008
  • Jx
Výsledek výzkumu

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
Výsledek výzkumu

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
Výsledek výzkumu

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
Výsledek výzkumu

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
Výsledek výzkumu

The Isabelle ENIGMA

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022
  • D
  • Odkaz
Výsledek výzkumu

Maria Bellonci and her novels about the Italian Renaissance

General literature studies

  • 2019
  • O
  • Odkaz
  • 1 - 10 z 59