Search Results - Smolka, Gert 1955-

Filter by
  1. 1
    Cover Image

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

    Published 2011
    Table of Contents
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 2007
    Read online
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

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

    Published 1992
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1992
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1992
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1991
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 2011
    Read online
    Electronic eBook


    Saved in:
  8. 8
    Cover Image

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

    Published 1993
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1992
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1991
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1982
    Book


    Saved in:
  12. 12
    Cover Image

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

    Published 2008
    Table of Contents
    Book


    Saved in:
  13. 13
    Cover Image

    Object-oriented concurrent constraint programming in Oz
    by Smolka, Gert 1955-, Henz, Martin, Würtz, Jörg

    Published 1993
    Book


    Saved in:
  14. 14
    Cover Image

    Logic programming over polymorphically order-sorted types
    by Smolka, Gert 1955-

    Published 1989
    Thesis/Dissertation Book


    Saved in:
  15. 15
    Cover Image

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

    Published 1988
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    The oz programming model
    by Smolka, Gert 1955-

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

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

    Published 1994
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1987
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

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

    Published 1994
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: