host ::
přihlásit
Digitální repozitář
Hledej
Nový záznam
Nápověda
O repozitáři
Hlavní stránka
>
Konferenční materiály
>
Příspěvky z konference
> On the Independence of Axioms in BL and MTL
Informace
Soubory
Název:
On the Independence of Axioms in BL and MTL
Autoři:
Chvalovský, Karel
Typ dokumentu:
Příspěvky z konference
Konference/Akce:
Doktorandské dny 2008 Ústavu informatiky AV ČR, v. v. i.
, Jizerka (CZ), 2008-09-29 / 2008-10-01
Rok:
2008
Jazyk:
eng
Klíčová slova:
automated theorem proving
;
Hilbert-style proof systems
;
independece of axioms
;
logic BL
;
logic MTL
Číslo projektu:
CEZ:AV0Z10300504
(
CEP
),
GEICC/08/E018
(
CEP
)
Poskytovatel projektu:
GA ČR
Zdrojový dokument:
Doktorandské dny '08, ISBN 978-80-7378-054-8
Práva:
Dílo je chráněno podle autorského zákona č.
121/2000
Sb.
Instituce:
Ústav informatiky AV ČR (
web
)
Původní záznam:
http://hdl.handle.net/11104/0163283
Trvalý odkaz NUŠL:
http://www.nusl.cz/ntk/nusl-39084
Záznam je zařazen do těchto sbírek:
Věda a výzkum
>
AV ČR
>
Ústav informatiky
Konferenční materiály
>
Příspěvky z konference
Záznam vytvořen dne 2011-07-01, naposledy upraven 2024-01-26.
Podobné záznamy
Plný tet:
PDF
[Stáhnout]
Plný text:
PDF
[Stáhnout]
Pokud se vám dokument nezobrazí v prohlížeči, uložte jej na svůj PC a otevřete jej v příslušném programu.
Exportovat ve formátu
DC
,
NUŠL
,
RIS
Sdílet