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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
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.
1991	A hybrid approach for modeling uncertainty in terminological logics	Heinsohn, Jochen
1991	On the computational complexity of temporal projection and some related problems	Nebel, Bernhard; Bäckström, Christer
1991	Integrated plan generation and recognition : a logic-based approach	Bauer, Mathias; Biundo, Susanne; Dengler, Dietmar, u.a.
1991	Additionsreaktionen an intramolekular basenstabilisierte Ge=N- und Ge=S-Doppelbindungen	Veith, Michael; Detemple, Astrid; Huch, Volker
1991	Different reaction behavior of lead bis(tri-tert-butoxygermanate) and lead bis(tri-tert-butoxystannate) towards nonacarbonyldiiron [Chemistry of alkoxystannates ; 7]	Veith, Michael; Hans, Johannes
1991	μCAD2NC : a declarative lathe-workplanning model transforming CAD-like geometries into abstract NC programs	Boley, Harold; Hanschke, Philipp; Harm, Martin, u.a.
1991	Wissenschaftlich-technischer Jahresbericht 1991	-
1991	International Workshop on Terminological logics : Schloß Dagstuhl, Germany, May 6 - 8, 1991	Nebel, Bernhard; Peltason, Christof; von Luck, Kai
1991	Proceedings MLNLO'91 : machine learning of natural language and ontology	-