Buchkapitel

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems
Buchkapitel, Bibliographie

Konferenzveröffentlichung

Immel, Stefan ; Schmitt, ; Lichtenthaler, F. W. (1998)
Molecular modeling of saccharides, 16. The molecular geometries of cyclofructins.
Konferenzveröffentlichung, Bibliographie

Immel, Stefan ; Schmitt, ; Lichtenthaler, (1998)
Molecular modeling of saccharides, 18. Alpha-cycloaltrin: conformation and properties in aqueous solution.
Konferenzveröffentlichung, Bibliographie

Arslan, Ulvi ; Arslan, Ulvi ; Quick, Hubert ; Schmitt, (1998)
Tunneling in cities and urban areas.
Konferenzveröffentlichung, Bibliographie