IBL Tool - Digitale Bibliotheek

Digitale Bibliotheek

Tijdschrift beschrijving

Alle jaargangen van het bijbehorende tijdschrift

Alle afleveringen van het bijbehorende jaargang

Alle artikelen van de bijbehorende aflevering

12 gevonden resultaten

nr	titel	auteur	tijdschrift	jaar	jaarg.	afl.	pagina('s)	type
1	Algorithms for Sat and Upper Bounds on Their Complexity	M. A. Vsemirnov		2003	118	2	p. 4948-4962 15 p.	artikel
2	Algorithms for Sat and Upper Bounds on Their Complexity	Vsemirnov, M. A.		2003	118	2	p. 4948-4962	artikel
3	A Polynomial Lower Bound on the Size of a k-Min-Wise Independent Set of Permutations	S. A. Norin		2003	118	2	p. 4994-5000 7 p.	artikel
4	A Polynomial Lower Bound on the Size of a k-Min-Wise Independent Set of Permutations	Norin, S. A.		2003	118	2	p. 4994-5000	artikel
5	Combined Hierarchies of Finite Random Access Machines	A. P. Bel'tyukov		2003	118	2	p. 4943-4947 5 p.	artikel
6	Combined Hierarchies of Finite Random Access Machines	Bel'tyukov, A. P.		2003	118	2	p. 4943-4947	artikel
7	Doubly-Exponential Growth of the Number of Vectors of Multipilicities for Solutions of Systems of Polynomial	D. Yu. Grigoriev		2003	118	2	p. 4963-4965 3 p.	artikel
8	Doubly-Exponential Growth of the Number of Vectors of Multipilicities for Solutions of Systems of Polynomial	Grigoriev, D. Yu.		2003	118	2	p. 4963-4965	artikel
9	Upper Bound on the Height of Terms in Proofs with Bound-Depth-Restricted Cuts	B. Yu. Konev		2003	118	2	p. 4982-4993 12 p.	artikel
10	Upper Bound on the Height of Terms in Proofs with Bound-Depth-Restricted Cuts	Konev, B. Yu.		2003	118	2	p. 4982-4993	artikel
11	Upper Bounds on Height of Terms in a Solution of a Semiunification Problem	V. B. Zhizhkun		2003	118	2	p. 4966-4981 16 p.	artikel
12	Upper Bounds on Height of Terms in a Solution of a Semiunification Problem	Zhizhkun, V. B.		2003	118	2	p. 4966-4981	artikel

12 gevonden resultaten

Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland