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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1993	Feature-based allomorphy	Krieger, Hans-Ulrich; Nerbonne, John; Pirker, Hannes
1993	The first-order theory of lexicographic path orderings is undecidable	Comon, Hubert; Treinen, Ralf
1993	Modeling epistemic propositions	-
1993	IGLOO 1.0 : eine grafikunterstützte Beweisentwicklungsumgebung ; Benutzerhandbuch	Feibel, Harald
1993	Derivation without lexical rules	Krieger, Hans-Ulrich
1993	Decidable reasoning in terminological knowledge representation systems	Buchheit, Martin; Donini, Francesco M.; Schaerf, Andrea
1993	Optical second-harmonic effect of sol-gel inorganic-organic nanocomposites	Kador, Lothar; Fischer, Reiner; Haarer, Dietrich, u.a.
1993	Organic-inorganic nanocomposites for micro optical applications	Krug, Herbert; Schmidt, Helmut K.
1993	Ein erwartungsgesteuerter Koordinator zur partiellen Textanalyse	Gores, Klaus-Peter; Bleisinger, Rainer
1993	Inorganic-organic sol-gel processing for glasses and nano composites	Schmidt, Helmut K.
1993	Inorganic-organic polymers for micro-optic applications	Schmidt, Helmut K.; Krug, Herbert
1993	Sol-gel-based inorganic-organic composite materials	Schmidt, Helmut K.
1993	Synthesis and processing of nanoscaled ceramics by chemical routes	Schmidt, Helmut K.; Benthien, Thomas; Nass, Rüdiger, u.a.
1993	Die Rolle spezieller organischer Komponenten bei der Sol-Gel-Synthese und der Verarbeitung feiner und ultrafeiner keramischer Pulver	Schmidt, Helmut K.
1993	Design & KI	Bachmann, Bernd; Bernardi, Ansgar; Klauck, Christoph, u.a.
1993	A two-level semantics for french expressions of motion	Sablayrolles, Pierre
1993	Equational and membership constraints for infinite trees	Niehren, Joachim; Podelski, Andreas; Treinen, Ralf
1993	Beiträge zum Gründungsworkshop der Fachgruppe Verteilte Künstliche Intelligenz Saarbrücken 29.-30. April 1993	-
1993	Reasoning about temporal relations : a maximal tractable subclass of Allen's interval algebra	Nebel, Bernhard; Bürckert, Hans-Jürgen
1993	Satisfiability of the smallest binary program	Hanschke, Philipp; Würtz, Jörg