Lettmann, Theodor, 1958-....
Lettmann, Theodor
Lettmann, T.
Lettmann, T. (Theodor)
VIAF ID: 19779217 ( Personal )
Permalink: http://viaf.org/viaf/19779217
Preferred Forms
- 200 _ | ‡a Lettmann ‡b Theodor ‡f 1958-....
- 100 1 _ ‡a Lettmann, T.
- 100 1 0 ‡a Lettmann, T. ‡q (Theodor)
-
-
- 100 1 _ ‡a Lettmann, Theodor ‡d 1958-
- 100 1 _ ‡a Lettmann, Theodor, ‡d 1958-....
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Aussagenlogik deduktion und Algorithmen | |
Erfüllbarkeitsalgorithmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung | |
Projections of vector addition system reachability sets are semilinear | |
Propositional logic deduction and algorithms |