Conference Paper (international conference)

Použití Körnerovy modifikované dvouhodnotové logiky v úlohách technické kybernetiky

Štěpán Jaromír

: LOGICA '89, p. 91-105

: Ústav pro filozofii a sociologii ČSAV, (Praha 1990)

: LOGICA '89, (Vestec u Příbrami, CS, 05.09.1989-07.09.1989)

: Relevantnost formálních teorií