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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1997	Glasdekors auf Basis schwermetallfreier Sol-Gel Matrizes	Mennig, Martin; Kalleder, Axel; Jonschker, Gerhard, u.a.
1997	Kolloidgefärbte Halogenlampen	Mennig, Martin; Endres, Klaus; Pietsch, Matthias, u.a.
1997	Dünne SiO2-Folien über Sol-Gel-Techniken	Mennig, Martin; Suyal, Navin; Schmidt, Helmut K.
1997	Synthesis of multicolor Nb2O5 coatings for electrochromic devices	Pawlicka, Agnieszka; Atik, Mohamed; Aegerter, Michel A.
1997	Proceedings of the Fifth Meeting on Mathematics of Language : MOL5	-
1997	Optimised modal translation and resolution	Schmidt, Renate A.
1997	Ein inkrementeller Ansatz zur Generierung informativer 3D-Animationen	Butz, Andreas Martin
1997	Lösen großer dünnbesetzter Gleichungssysteme über endlichen Primkörpern	Denny, Thomas Friedrich
1997	Fast and Efficient Cache Behavior Prediction	Ferdinand, Christian; Wilhelm, Reinhard
1997	Cooperating runtime systems in LiPS	Setz, Thomas; Liefke, Thomas
1997	Knowledge-based systems for knowledge management in enterprises : Workshop held at the 21st Annual German Conference on AI (KI-97)	Abecker, Andreas; Decker, Stefan; Hinkelmann, Knut, u.a.
1997	Model Existence for Higher Order Logic	Benzmüller, Christoph; Kohlhase, Michael
1997	Knowledge-based Cooperation between Theorem Provers by TECHS	Fuchs, Dirk; Denzinger, Jörg
1997	Planning Diagonalization Proofs	Cheikhrouhou, Lassaad
1997	Using TEAMWORK for the Distribution of Approximately Solving the Traveling Salesman Problem with Genetic Algorithms	Denzinger, Jörg; Scholz, Stephan
1997	Coupling Saturation-Based Provers by Exchanging Positive/Negative Information	Fuchs, Dirk
1997	Progress in Proof Planning : Planning Limit Theorems Automatically	Melis, Erica
1997	An Abstraction for Proof Planning : The S-Abstraction	Autexier, Serge
1997	Flexible Re-enactment of Proofs	Fuchs, Matthias
1997	Cooperation in Theorem Proving by Loosely Coupled Heuristics	Fuchs, Dirk; Denzinger, Jörg