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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1994	Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen	Niehren, Joachim
1994	Eine graphische Arbeitsumgebung für den parametrisierten Entwurf integrierter Schaltkreise	Burch, Thomas
1994	Expressivity and decidability of first-order languages over feature trees	Backofen, Rolf
1994	A note on implementing combining networks	Keller, Jörg; Walle, Thomas
1994	Polymorphic type inference for object-oriented programming languages	Hense, Andreas V.
1994	An abstract machine for an object-oriented language with top-level classes	Böschen, Christoph; Fecht, Christian; Hense, Andreas V., u.a.
1994	TDL : a type description language for HPSG. - Part 1: Overview	Krieger, Hans-Ulrich; Schäfer, Ulrich
1994	Higher-Order Order-Sorted Resolution	Kohlhase, Michael
1994	Planning Mathematical Proofs with Methods	Huang, Xiaorong; Kerber, Manfred; Richts, Jörn, u.a.
1994	The application of goal-oriented heuristics for proving equational theorems via the unfailing Knuth-Bendix completion procedure. : A case study: lattice ordered groups	Fuchs, Matthias
1994	Planning for distributed theorem proving : The team work approach	Denzinger, Jörg; Kronenburg, Martin
1994	Human Oriented Proof Presentation : A Reconstructive Approach	Xiaorong, Huang
1994	Goal oriented equational theorem proving using team work	Denzinger, Jörg; Fuchs, Matthias
1994	Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System	Denzinger, Jörg; Schulz, Stephan
1994	An alternative for handling AC	Fuchs, Matthias
1994	Fraueninternierungslager in Südfrankreich : Rieucros und Brens 1939 - 1944	Gilzmer, Mechthild
1993	New fluoroindate glass compositions	Messaddeq, Younes; Delben, A. A. S. T.; Aegerter, Michel A., u.a.
1993	Propriedades estruturais de aerogéis de sílica	Da Silva, Adao A.; Peratello, S. H.; Aegerter, Michel A.
1993	Uma nova família de vidros de fluoretos	Messaddeq, Younes; Boscolo, M.; Aegerter, Michel A.
1993	ZrO2 sol-gel coatings for stainless steel protection in highly corrosive media	Atik, Mohamed; De Lima Neto, Pedro; Aegerter, Michel A., u.a.