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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
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.
1993	Blue and green upconversion in Er(3+)-doped fluoroindate glasses	Reiche, R.; Nunes, Luis A. O.; Carvalho, C. C., u.a.
1993	Raman spectroscopy of 2Na(2)0.1Ca0.3SiO(2) glass and glass-ceramics	Ziemath, Ervino C.; Aegerter, Michel A.
1993	Magneto-optical properties of Fi+(2) Center in KCI:SH-	Donatti, D. A.; Aegerter, Michel A.; Iida, T.
1993	Espectroscopia vibracional das fases cristalográficas da mulita em função do trattamento térmico	Bozano, Dorotéia F.; Simões, Maurício; Aegerter, Michel A.
1993	Fabricação e caracterização de fibres óticas de vidros fluorozirconados	Messaddeq, Younes; Aegerter, Michel A.; De Oliveira, S. M., u.a.
1993	Mechanical properties of ZBLAN glasses	Delben, A. A. S. T.; Messaddeq, Younes; Caridade, M. D., u.a.
1993	Corrosão dos vidros fluorindatos	Ribeiro, Sidney J. L.; Carvalho, C.; Messaddeq, Younes, u.a.
1993	New fluoroindate glass compositions	Messaddeq, Younes; Delben, A. A. S. T.; Boscolo, M., u.a.