Showing 1 - 20 results of 28 for search 'Smolka, Gert 1955-', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Programmierung - eine Einführung in die Informatik mit Standard ML

    Programmierung - eine Einführung in die Informatik mit Standard ML by Smolka, Gert 1955-

    Published 2011
    Description
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Programmierung - eine Einführung in die Informatik mit Standard ML

    Programmierung - eine Einführung in die Informatik mit Standard ML by Smolka, Gert 1955-

    Published 2007
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    The oz programming model

    The oz programming model by Smolka, Gert 1955-

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A calculus for higher-order concurrent constraint programming with deep guards

    A calculus for higher-order concurrent constraint programming with deep guards by Smolka, Gert 1955-

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    A feature-based constraint system for logic programming with entailment

    A feature-based constraint system for logic programming with entailment by Aït-Kaci, Hassan, Podelski, Andreas, Smolka, Gert 1955-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Records for logic programming

    Records for logic programming by Smolka, Gert 1955-, Treinen, Ralf

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A complete and recursive feature theory

    A complete and recursive feature theory by Backofen, Rolf, Smolka, Gert 1955-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Residuation and guarded rules for constraint logic programming

    Residuation and guarded rules for constraint logic programming by Smolka, Gert 1955-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Attributive description formalisms and the rest of the world

    Attributive description formalisms and the rest of the world by Nebel, Bernhard, Smolka, Gert 1955-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    TEL (Version 0.9) report and user manual

    TEL (Version 0.9) report and user manual by Smolka, Gert 1955-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Order sorted unification

    Order sorted unification by Meseguer, José, Goguen, Joseph 1941-2006, Smolka, Gert 1955-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Programmierung – eine Einführung in die Informatik mit Standard ML

    Programmierung – eine Einführung in die Informatik mit Standard ML by Smolka, Gert 1955-

    Published 2011
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  13. 13
    Encapsulated search and constraint programming in oz

    Encapsulated search and constraint programming in oz by Schulte, Christian, Smolka, Gert 1955-, Würtz, Jörg

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    A foundation for higher-order concurrent constraint programming

    A foundation for higher-order concurrent constraint programming by Smolka, Gert 1955-

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Principal types for object-oriented languages

    Principal types for object-oriented languages by Hense, Andreas V., Smolka, Gert 1955-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    A verification of extensible record types

    A verification of extensible record types by Hense, Andreas V., Smolka, Gert 1955-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Residuation and guarded rules for constraint logic programming

    Residuation and guarded rules for constraint logic programming by Smolka, Gert 1955-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    A feature logic with subsorts

    A feature logic with subsorts by Smolka, Gert 1955-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Completeness and confluence properties of Kowalski's clause graph calculus

    Completeness and confluence properties of Kowalski's clause graph calculus by Smolka, Gert 1955-

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Programmierung - eine Einführung in die Informatik mit Standard ML

    Programmierung - eine Einführung in die Informatik mit Standard ML by Smolka, Gert 1955-

    Published 2008
    Indexes
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: