Linearization of Proofs in Propositional Hilbert Systems

Bibliografické údaje

Autoři

• Karel Chvalovský

Rok vydání

2012

Typ publikace

Abstrakt

Periodikum

Doktorandské dny '12

Projekty

• Matematická fuzzy logika v informatice

Bibliografická citace

CHVALOVSKÝ, Karel. Linearization of Proofs in Propositional Hilbert Systems. In: KUŽELOVÁ, D., HAKL, F., eds. Doktorandské dny '12. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012, S. 21-21. ISBN 978-80-7278-217-7.

ID

380881