On methods for proving lower bounds in propositional logic

Počet záznamů: 1

1.

SYSNO ASEP	0174440
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	D - Článek ve sborníku
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, Proceedings of the Tenth International Congress of Logic, Methodology and Philosophy of Science, 1 / Dalla Chiara M. L.. - Dordrecht : Kluwer Academic Publ., 1997
Rozsah stran	s. 69-83
Akce	International Congress of Logic, Methodology and Philosophy of Science /10./
Datum konání	19.08.1995-25.08.1995
Místo konání	Florence
Země	IT - Itálie
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
CEP	IAA1019602 GA AV ČR - Akademie věd
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	1998

Počet záznamů: 1