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.

Article

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

Nakatsuji, Shin'ichi ; Mizumoto, M. ; Takai, A. ; Akutsu, H. ; Yamada, J.-I. ; Kawamura, H. ; Schmitt, S. ; Hafner, K. (2000):
Novel CT complexes derived from 4-alkylamino-TEMPO and 2,4,6,8-tetracyanoazulene.
348, In: Molecular Crystals and Liquid Crystals, (1), pp. 1-6. Taylor&Francis, ISSN 1563-5287,
DOI: 10.1080/10587250008024790,
[Article]

Egly, Uwe ; Schmitt, S. (1999):
On intuitionistic proof transformations, their complexity, and application to constructive program synthesis.
39, In: Fundamenta Informaticae, (1-2), pp. 59-83. IOS Press, ISSN 01692968,
DOI: 10.3233/FI-1999-391204,
[Article]

Mohr, Peter ; Enders, J. ; Hartmann, T. ; Kaiser, H. ; Schiesser, D. ; Schmitt, S. ; Volz, S. ; Wissel, F. ; 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]

Book Section

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

Conference or Workshop Item

Egly, Uwe ; 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. ; 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 Sat Jul 24 02:26:18 2021 CEST.