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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1992	(A)TMS in Expert Systems	Paulokat, Jürgen
1992	Computing Presentations for Subgroups of Polycyclic Groups and of Context-Free Groups	Kuhn, Norbert; Madlener, Klaus; Otto, Friedrich
1992	Classification and Learning of Similarity Measures	Richter, Michael M.
1992	Methods : The Basic Units for Planning and Verifying Proofs	Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael
1992	Retrieval in Case-Based Reasoning using preferred subtheories	Mehl, Michael
1992	Automated Data Analysis and Discovery in Neurophysiological Simulation Experiments using a Combination of Numerical and Symbolic Methods	Schrödl, Stefan; Wendel, Oliver
1992	System and Processing View in Similarity Assessment	Wess, Stefan; Janetzko, Dietmar; Melis, Erica
1992	Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving	Präcklein, Axel
1992	Using theorem provers for PL1EQ as inductive provers	Fuchs, Matthias
1992	[Omega]-MKRP : A Proof Development Environment	Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael, u.a.
1991	An O´small interpreter based on denotational semantics	Hense, Andreas V.
1991	Denotational semantics of an object oriented programming language with explicit wrappers	Hense, Andreas V.
1991	Type inference for O´small	Hense, Andreas V.
1991	Forschungskooperation und Wissenstransfer zwischen Hochschule und Wirtschaft - eine Liaison mit Zukunft	Zimmermann, Harald H.
1991	Sprache und Sprachtechnik : Alfred Hoppe zum Geburtstag	Zimmermann, Harald H.
1991	Electrochromic window with lithium conductive polymer electrolyte	Baudry, Paul; Aegerter, Michel A.; Deroo, Daniel, u.a.
1991	Preparação e caracterização de uma janela eletrocrômica	Valla, Bruno; Macedo, Marcelo A.; Tonazzi, Juan Carlos López, u.a.
1991	Transparent storage layers for H+ and Li+ ions prepared by sol-gel technique	Valla, Bruno; Tonazzi, Juan Carlos López; Macedo, Marcelo A., u.a.
1991	Computergestützte Übersetzung als ein Beitrag zur Überwindung von Sprachbarrieren in der Fachinformation	Zimmermann, Harald H.
1991	Preparação e caracterização de vidros de fluoretos ZBLAN	Delben, A. A. S. T.; Aegerter, Michel A.; Eiras, J. A., u.a.