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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1988	Microstructural development and densification during hipping of ceramics and metals	Kaysser, Wolfgang A.; Aslan, Mesut; Arzt, Eduard, u.a.
1988	Multilayer SiO2 and TiO2 coatings on glasses by the sol-gel process	Mohallem, Nelcy Della Santina; Aegerter, Michel A.
1988	A SAXS study of kinetics of aggregation of silica sols	Lours, Thierry; Zarzycki, Jerzy; Craievich, Aldo F., u.a.
1988	Structural study of fractal silica humid gels	Craievich, Aldo F.; Dos Santos, Dayse Iara; Aegerter, Michel A., u.a.
1988	SAXS study of isothermal sintering of silica aerogel	Lours, Thierry; Zarzycki, Jerzy; Craievich, Aldo F., u.a.
1988	Rheology of the gelation process of silica gel	Filho, O. K.; Aegerter, Michel A.
1988	Stickstoffverbindungen von Elementen der dritten Hauptgruppe mit intra- und intermolekularen Donor-Akzeptor-Bindungen. - V : Spezielle Gallium- und Indium-amide mit Alkoxogruppen	Veith, Michael; Pöhlmann, Jürgen
1988	Light scattering dynamic study of the gelation process	Ziemath, Ervino C.; Pretti, W. L.; Aegerter, Michel A., u.a.
1988	Faster algorithms for the shortest path problem	Ahuja, Ravindra K.; Mehlhorn, Kurt; Orlin, James B., u.a.
1988	Attributive Concept Descriptions with Unions and Complements	Schmidt-Schauß, Manfred; Smolka, Gert
1988	Efficient AC-Matching Using Constraint Propagation	Gramlich, Bernhard; Denzinger, Jörg
1988	Opening the AC-Unification Race	Bürckert, Hans-Jürgen; Herold, Alexander; Kapur, Deepak, u.a.
1988	Convex Relations Between Time Intervals	Nökel, Klaus
1988	Structuring Computer Generated Proofs	Lingenfelder, Christoph
1988	A Resolution Calculus for Modal Logics	Ohlbach, Hans Jürgen
1988	Did Gödel prove that we are not machines? (On philosophical consequences of Gödel's theorem)	Krajewski, Stanislaw
1988	Topics in Completion Theorem Proving	Müller, Jürgen; Socher-Ambrosius, Rolf
1988	Computational Aspects of an Order-Sorted Logic with Term Declarations	Schmidt-Schauß, Manfred
1988	SASLOG : Lazy Evaluation Meets Backtracking	Hinkelmann, Knut; Noekel, Klaus; Rehbold, Robert
1988	Comparison of Simplification Orderings	Steinbach, Joachim