host ::
| Hlavní stránka > Konferenční materiály > Příspěvky z konference > Notes on Condensed Detachment |
Název:
Notes on Condensed Detachment
Autoři: Chvalovský, Karel
Typ dokumentu: Příspěvky z konference
Konference/Akce: Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i., Jizerka (CZ), 2011-10-05 / 2011-10-07
Rok: 2011
Jazyk: eng
Klíčová slova: Hilbert-style proof systems; propositional logic; the rule of condensed detachment
Číslo projektu: CEZ:AV0Z10300504 (CEP)
Zdrojový dokument: Doktorandské dny '11, ISBN 978-80-7378-170-5
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/0200324
Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-55972
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
Autoři: Chvalovský, Karel
Typ dokumentu: Příspěvky z konference
Konference/Akce: Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i., Jizerka (CZ), 2011-10-05 / 2011-10-07
Rok: 2011
Jazyk: eng
Klíčová slova: Hilbert-style proof systems; propositional logic; the rule of condensed detachment
Číslo projektu: CEZ:AV0Z10300504 (CEP)
Zdrojový dokument: Doktorandské dny '11, ISBN 978-80-7378-170-5
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/0200324
Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-55972
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-10-11, naposledy upraven 2024-01-26.
Plný tet:
PDFPlný text:
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.