TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Dausend, Uwe and Halasy-Wimmer, G. and Schmitt, S. (2003):
Optimierung einer elektromechanischen Bremse durch geeignete Getriebeauslegung.
105, In: ATZ Automobiltechnische Zeitschrift, (11), Vieweg, pp. 1112-1118, [Article]

Dausend, U. and Halasy-Wimmer, G. and Schmitt, S. (2002):
Alternatives Kraftwandlungsgetriebe für eine elektromechanisch betätigte Scheibenbremse.
In: brems.tech, [Book Section]

Nakatsuji, Shin'ichi and Mizumoto, M. and Takai, A. and Akutsu, H. and Yamada, J.-I. and Kawamura, H. and Schmitt, S. and Hafner, K. (2000):
Novel CT complexes derived from 4-alkylamino-TEMPO and 2,4,6,8-tetracyanoazulene.
348, In: Molecular crystals and liquid crystals, pp. 1-6, [Article]

Egly, Uwe and Schmitt, S. (1999):
On intuitionistic proof transformations, their complexity, and application to constructive program synthesis.
39, In: Fundamenta Informaticae, pp. 59-83, [Article]

Mohr, Peter and Enders, J. and Hartmann, T. and Kaiser, H. and Schiesser, D. and Schmitt, S. and Volz, S. and Wissel, F. and Zilges, A. (1999):
Real photon scattering up to 10 MeV: the improved facility at the Darmstadt electron accelerator S-DALINAC.
In: Nuclear instruments & methods in physics research. A 423 (1999), S. 480-488, [Article]

Egly, Uwe and Schmitt, S. (1998):
Intuitionistic proof transformations and their application to constructive program synthesis.
In: International Conference on Artificial Intelligence and Symbolic Computation <4, 1998, Plattsburg, NY>: Proceedings. Hrsg.: J. Calmet (u.a.) - Berlin (u.a.): Springer, 1998. S. 132-144, 1476, Berlin (u.a.), Springer, [Conference or Workshop Item]

Schmitt, S. and Kreitz, (1995):
On transforming intuitionistic matrix proofs into standard-sequent proofs.
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 106-121, 918, New York: Springer, 1995,
New York, Springer, [Conference or Workshop Item]

This list was generated on Tue Feb 18 01:06:48 2020 CET.