Schmidt-Schauss, Manfred, 1953-
URI(s)
Variants
Schauss, Manfred Schmidt, 1953-
Schmidt-Schauss, M. (Manfred), 1953-
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
found: Computational aspects of an order-sorted logic with term declarations, c1989:t.p. (M. Schmidt-Schauss)
found: OCLC database, July 1, 2011(hdgs.: Schmidt-Schauss, M.; Schmidt-Schauss, M. (Manfred), Schmidt-Schauss, Manfred, Schmidt-Schauss, Manfred, 1953-; usage: M. Schmidt-Schauss, Manfred Schmidt-Schauss)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
2011-07-01: new
2011-07-02: revised
Alternate Formats