Automated Theorem Proving Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F14%3AA1501BE1" target="_blank" >RIV/61988987:17310/14:A1501BE1 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Automated Theorem Proving Systems

Popis výsledku v původním jazyce

This article describes the process of theorem proving and number of experiments of theorem provers that were run in order to evaluate the most appropriate implementation for automated theorem proving.

Název v anglickém jazyce

Automated Theorem Proving Systems

Popis výsledku anglicky

This article describes the process of theorem proving and number of experiments of theorem provers that were run in order to evaluate the most appropriate implementation for automated theorem proving.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Aplimat 2014 Proceedings

ISBN

978-80-227-4140-8

ISSN

—

e-ISSN

—

Počet stran výsledku

426

Strana od-do

382-386

Název nakladatele

Slovak University of Technology in Bratislava, Publishing House of STU

Místo vydání

Bratislava

Místo konání akce

Bratislava, Slovak Republic

Datum konání akce

4. 2. 2014

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—