Košík

0346961 - ÚI 2011 CZ eng A - Abstrakt
Chvalovský, Karel
Provability in Hilbert-Style Calculi for Non-Classical Logics and ATP.
Young Research Forum. Brno, 2010 - (Strejček, J.). s. 11-11. ISBN 978-80-87342-09-1.
[MFCS & CSL 2010. Young Research Forum. 21.08.2010-22.08.2010, Brno]
Grant CEP: GA ČR GAP202/10/1826; GA ČR GD401/09/H007
Grant ostatní: GA UK 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: provability * non-classical logics * automated theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0187850