Suchergebnisse - Doets, Kees

  • Treffer 1 – 10 von 10
Treffer filtern
  1. 1
    Buchumschlag

    The Haskell road to logic, maths and programming
    von Doets, Kees, Eijck, Jan van 1951-

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Sets: naive, axiomatic and applied: a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
    von Dalen, Dirk van 1932-, Doets, Kees, De Swart, Harrie 1944-

    Veröffentlicht 1978
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    From logic to logic programming
    von Doets, Kees

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    From logic to logic programming
    von Doets, Kees

    Veröffentlicht 1994
    Online lesen
    E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Proper classes
    von Doets, Kees

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A new definition of SLDNF-resolution
    von Apt, Krzysztof R. 1949-, Doets, Kees

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Basic model theory
    von Doets, Kees

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    The Haskell road to logic, maths and programming
    von Doets, Kees, Eijck, Jan van 1951-

    Veröffentlicht 2012
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Short proofs for classical theorems
    von Doets, Kees

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    From logic to logic programming
    von Doets, Kees

    Veröffentlicht 1994
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: