Huth, Michael
Huth, Michael 1962-
VIAF ID: 73228677 ( Personal )
Permalink: http://viaf.org/viaf/73228677
Preferred Forms
- 100 1 _ ‡a Huth, Michael
-
-
- 100 1 _ ‡a Huth, Michael
- 100 1 _ ‡a Huth, Michael ‡d 1962-
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
AutoCAD programmieren mit VBA Einführung, Anwendung, Referenz | |
characterization of linear FS-lattices | |
Complete abstraction through extensions of disjunctive modal transition systems | |
greatest symmetric monoidal closed category of Scott domains | |
Interaction orders as games | |
Linear types and approximation | |
Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches | |
Moby Dick | |
Rain on the roof | |
Symbolic and sub-symbolic knowledge organization in the computational theory of mind | |
Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings | |
Under the orioles nest, c2001: |