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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1993	Analogies between Proofs : A Case Study	Melis, Erica
1993	A Combinator-based Order-sorted Higher-order Unification Algorithm	Johann, Patricia
1993	A Mechanization of Strong Kleene Logic for Partial Functions	Kerber, Manfred; Kohlhase, Michael
1993	New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems	Gramlich, Bernhard
1993	On the Complexity of Simplification Orderings	Steinbach, Joachim
1993	Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems	Gramlich, Bernhard
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.