Automated Theorem Proving Systems
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Automated Theorem Proving Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Aplimat 2014 Proceedings
ISBN
978-80-227-4140-8
ISSN
—
e-ISSN
—
Number of pages
426
Pages from-to
382-386
Publisher name
Slovak University of Technology in Bratislava, Publishing House of STU
Place of publication
Bratislava
Event location
Bratislava, Slovak Republic
Event date
Feb 4, 2014
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—