Počet záznamů: 1

DNF Tautologies with a Limited Number of Occurrences of Every Variable

SYSNO	0403463
Název	DNF Tautologies with a Limited Number of Occurrences of Every Variable
Tvůrce(i)	Savický, Petr (UIVT-O)_{SAI, RID, ORCID} Sgall, Jiří (MU-W)_{RID, ORCID, SAI}
Zdroj.dok.	Theoretical Computer Science. Roč. 238, 1-2 (2000), s. 495-498. - : Elsevier
Druh dok.	Článek v odborném periodiku
Grant	GA201/98/0717 GA ČR - Grantová agentura ČR
	IAA1019602 GA AV ČR - Akademie věd
	GA201/97/P038 GA ČR - Grantová agentura ČR
	ME 103 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
CEZ	1030915
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	disjunctive normal form * tautology * occurences of variable
Trvalý link	http://hdl.handle.net/11104/0123768

Počet záznamů: 1