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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1993	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading	Johann, Patricia; Kohlhase, Michael
1993	Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme'" in Kaiserslautern, 1993	Avenhaus, Jürgen; Denzinger, Jörg
1993	On Gröbner Bases in Monoid and Group Rings	Madlener, Klaus; Reinert, Birgit
1993	EWCBR-93 First European Workshop on Case-Based Reasoning Posters and Presentations : Volume 1	Richter, Michael M.; Wess, Stefan; Althoff, Klaus-Dieter, u.a.
1993	EWCBR-93 First European Workshop on Case-Based Reasoning Posters and Presentations : Volume 2	Richter, Michael M.; Wess, Stefan; Althoff, Klaus-Dieter, u.a.
1993	Reasoning with Assertions and Examples	Kerber, Manfred; Melis, Erica; Siekmann, Jörg H.
1993	The Presentation of Proofs at the Assertion Level	Huang, Xiaorong
1993	Guiding Equational Proofs by Attribute Functions	Cleve, Jürgen; Hutter, Dieter
1993	About Changing the Ordering During Knuth-Bendix Completion	Sattler-Klein, Andrea
1992	Synthesis of ferroelectric perovskites through aqueous solutions techniques	Guzmàn-Martel, G.; Aegerter, Michel A.; Barboux, P.
1992	Corrosion resistant ZrO2 sol-gel coating on stainless steel	Atik, Mohamed; Aegerter, Michel A.
1992	Synthesis, characterization, and applications of lead and barium titanate materials prepared by the sol-gel method	Aegerter, Michel A.; Charbouillot, Y.; Mohallem, Nelcy Della Santina, u.a.
1992	Preparation and characterization of gels of SiO2-Al2O3 composition	Aegerter, Michel A.; Bozano, Dorotéia F.
1992	Solid state electrochromic display based on polymer electrode-polymer electrolyte interface	Gomes, M. A. B.; Gonçalves, D.; Pereira De Souza, E. C., u.a.
1992	Sol-gel coatings for electrochromic devices	Macedo, Marcelo A.; Dall'Antonia, Luiz H.; Aegerter, Michel A.
1992	Zum Sprachenproblem in der Europäischen Union	Zimmermann, Harald H.
1992	Implementierungsmöglichkeiten der integrativen Wissensakquisitionsmethode des ARC-TEC-Projektes	Laufkötter, Gernod P.
1992	Wortrelationierung in der Sprachtechnik : Stilhilfen, Retrievalhilfen, Übersetzungshilfen	Zimmermann, Harald H.
1992	Anmerkungen zur Neugestaltung der DIN 1463 (Thesauri)	Zimmermann, Harald H.
1992	Fluoride glasses : synthesis and properties	Poulain, M.; Soufiane, A.; Messaddeq, Younes, u.a.