Počet záznamů: 1

Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions

SYSNO	0508538
Název	Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	The Logica Yearbook 2018. S. 197-210. - London : College Publications, 2019 / Sedlár I. ; Blicha M.
Konference	Logica 2018, 18.06.2018 - 22.06.2018, Hejnice
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GJ17-18344Y GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism
Trvalý link	http://hdl.handle.net/11104/0299549

Počet záznamů: 1