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.
In: ATZ Automobiltechnische Zeitschrift, Vieweg, pp. 1112-1118, 105, (11), [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.
In: Molecular crystals and liquid crystals, pp. 1-6, 348, [Article]

Egly, Uwe and Schmitt, S. (1999):
On intuitionistic proof transformations, their complexity, and application to constructive program synthesis.
In: Fundamenta Informaticae, pp. 59-83, 39, [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.
Berlin (u.a.), Springer, 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, [Conference or Workshop Item]

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

This list was generated on Sat Sep 14 01:03:13 2019 CEST.