Počet záznamů: 1
Notes on Condensed Detachment
- 1.0364974 - ÚI 2012 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Chvalovský, Karel
Notes on Condensed Detachment.
Doktorandské dny '11. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011 - (Kuželová, D.; Hakl, F.), s. 35-40. ISBN 978-80-7378-170-5.
[Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 05.10.2011-07.10.2011]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: propositional logic * Hilbert-style proof systems * the rule of condensed detachment
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0200324
Název souboru Staženo Velikost Komentář Verze Přístup 0364974.pdf 16 151.3 KB Vydavatelský postprint povolen
Počet záznamů: 1