Název: Non-Equivalence of Some Implicational Deduction Theorems
Autoři: Chvalovský, Karel
Typ dokumentu: Příspěvky z konference
Konference/Akce: Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i., Heřmanice v Podještědí (CZ), 2010-09-29 / 2010-10-01
Rok: 2010
Jazyk: eng
Klíčová slova: automated theorem proving; contraction-free logics; implicational deduction theorems
Číslo projektu: CEZ:AV0Z10300504 (CEP), IAA900090703 (CEP), GD401/09/H007 (CEP), 73109/2009
Poskytovatel projektu: GA AV ČR, GA ČR, GA UK
Zdrojový dokument: Doktorandské dny '10, ISBN 978-80-7378-133-0
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/0188809

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-41751


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