On methods for proving lower bounds in propositional logic

Počet záznamů: 1

1.

SYSNO	0174440
Název	On methods for proving lower bounds in propositional logic
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Zdroj.dok.	Logic and Scientific Methods. s. 69-83, Proceedings of the Tenth International Congress of Logic, Methodology and Philosophy of Science, 1 / Dalla Chiara M. L.. - Dordrecht : Kluwer Academic Publ., 1997
Konference	International Congress of Logic, Methodology and Philosophy of Science /10./, Florence, 19.08.1995-25.08.1995
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	IAA1019602 GA AV ČR - Akademie věd
Jazyk dok.	eng
Země vyd.	NL
Trvalý link	http://hdl.handle.net/11104/0071448

Počet záznamů: 1