Suchergebnisse - Smolka, Gert 1955-

Gert Smolka

Gert Smolka (* 5. Januar 1955 in Mannheim) ist ein deutscher Informatiker. Veröffentlicht in Wikipedia
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2011
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2007
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1989
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 2011
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    The oz programming model
    von Smolka, Gert 1955-

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    The Oz programming model
    von Smolka, Gert 1955-

    Veröffentlicht 1995
    Buch


    Gespeichert in:

Suchwerkzeuge: