Treffer 1 – 20 von 25 für Suche 'Schmidt-Schauß, Manfred', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    On the semantics and interpretation of rule based programs with static global variables

    On the semantics and interpretation of rule based programs with static global variables von Schmidt-Schauß, Manfred

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Some results for unification in distributive equational theories

    Some results for unification in distributive equational theories von Schmidt-Schauß, Manfred

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Computational aspects of an order-sorted logic with term declarations

    Computational aspects of an order-sorted logic with term declarations von Schmidt-Schauß, Manfred

    Veröffentlicht 1989
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On the solvability of equational problems

    On the solvability of equational problems von Bürckert, Hans-Jürgen, Schmidt-Schauß, Manfred

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Attributive concept descriptions with unions and complements

    Attributive concept descriptions with unions and complements von Schmidt-Schauß, Manfred, Smolka, Gert 1955-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Computational aspects of an order-sorted logic with term declarations

    Computational aspects of an order-sorted logic with term declarations von Schmidt-Schauß, Manfred

    Veröffentlicht 1988
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Attributive concept descriptions with unions and complements

    Attributive concept descriptions with unions and complements von Schmidt-Schauß, Manfred, Smolka, Gert 1955-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    CPE: a calculus for proving eqivalence of expressions in a nonstrict functional language

    CPE: a calculus for proving eqivalence of expressions in a nonstrict functional language von Schmidt-Schauß, Manfred

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    An algorithm for distributive unification

    An algorithm for distributive unification von Schmidt-Schauß, Manfred

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Unification of stratified second order terms

    Unification of stratified second order terms von Schmidt-Schauß, Manfred

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Computational aspects of an order-sorted logic with term declarations

    Computational aspects of an order-sorted logic with term declarations von Schmidt-Schauß, Manfred

    Veröffentlicht 1989
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Subsumption in KL-One is undecidable

    Subsumption in KL-One is undecidable von Schmidt-Schauß, Manfred

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Attributive concept descriptions with unions and complements

    Attributive concept descriptions with unions and complements von Schmidt-Schauß, Manfred, Smolka, Gerd

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Unification algebras an axiomatic approach to unification, equation solving and constraint solving

    Unification algebras an axiomatic approach to unification, equation solving and constraint solving von Schmidt-Schauß, Manfred

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Subsumption in KL-ONE is undecidable

    Subsumption in KL-ONE is undecidable von Schmidt-Schauß, Manfred

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Unification properties of idempotent semigroups

    Unification properties of idempotent semigroups von Schmidt-Schauß, Manfred

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    On the solvability of equational problems

    On the solvability of equational problems von Bürckert, Hans-Jürgen, Schmidt-Schauß, Manfred

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Computational aspects of an order-sorted logic with term declarations

    Computational aspects of an order-sorted logic with term declarations von Schmidt-Schauß, Manfred

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Unification Algebras an axiomatic approach to unification, equation solving and constraint solving

    Unification Algebras an axiomatic approach to unification, equation solving and constraint solving von Schmidt-Schauß, Manfred, Siekmann, Jörg H.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Computational aspects of an order-sorted logic with term declarations

    Computational aspects of an order-sorted logic with term declarations von Schmidt-Schauß, Manfred

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: