Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1995	Achieve complete robust path delay fault testability	Uppaluri, Prasanti; Sparmann, Uwe; Pomeranz, Irith
1995	Parameterized type expansion in the feature structure formalism TDL	Schäfer, Ulrich
1995	Randomized search trees	Seidel, Raimund; Aragon, Cecilia R.
1995	On Gröbner Bases for Two-Sided Ideals in Nilpotent Group Rings	Madlener, Klaus; Reinert, Birgit
1995	Learning proof heuristics by adapting parameters	Fuchs, Matthias
1995	A Reduction Ordering for Higher-Order Terms	Avenhaus, Jürgen; Loría-Sáenz, Carlos; Steinbach, Joachim
1995	Higher-Order Multi-Valued Resolution	Kohlhase, Michael; Scheja, Ortwin
1995	Experiments in the Heuristic Use of Past Proof Experience	Fuchs, Matthias
1995	Completion and Equational Theorem Proving using Taxonomic Constraints	Denzinger, Jörg
1995	Theorem Proving in Hierarchical Clausal Specifications	Avenhaus, Jürgen; Maldener, Klaus
1995	A Colored Version of the lambda-Calculus	Hutter, Dieter; Kohlhase, Michael
1995	Adaptation of Declaratively Represented Methods in Proof Planning	Huang, Xiaorong; Kerber, Manfred; Cheikhrouhou, Lassaad
1995	Confluence without Termination via Parallel Critical Pairs	Gramlich, Bernhard
1994	Die Rolle der Schule in der Informationsgesellschaft	Zimmermann, Harald H.
1994	Sintese de catalisadores tipo V2O5/TiO2 e MoO3/TiO2 pelo processo sol-gel com secagem supercrítica	Florentino, Ariovaldo O.; Bozano, Dorotéia F.; Aegerter, Michel A.
1994	Geração de máscaras em escala nano e micrométrica por litografia eletrônica	Silva, Marcelo A. P.; Nastaushev, Y.; Basmaji, P., u.a.
1994	Comportamento fotoeletroquímico de filmes sol-gel de TiO2 e Nb2O5	De Albuquerque Barros Filho, D.; Mâcedo, M. A.; Florentino, Ariovaldo O., u.a.
1994	Structural analysis of SiO2 gel films by high energy electron diffraction	Ohsaki, Hisashi; Miura, K.; Imai, A., u.a.
1994	Deposição de filmes protetores finos de SiO2 pelo método sol-gel sobre aço inoxidável 316L	De Lima Neto, Pedro; Fernandes, Mauro R.; Avaca, Luis A., u.a.
1994	Sol-gel coatings for optoelectronic devices	Avellaneda, César O.; Macedo, Marcelo A.; Florentino, Ariovaldo O., u.a.