Suchergebnisse - Paulson, Lawrence C.

Treffer filtern
  1. 1
    Buchumschlag

    Isabelle, HOL: a proof assistant for higher-order logic
    von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

    Veröffentlicht 2002
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    ML for the working programmer
    von Paulson, Lawrence C.

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    ML for the working programmer
    von Paulson, Lawrence C.

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Isabelle: a generic theorem prover
    von Paulson, Lawrence C.

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Set theory for verification
    Band 2 - Induction and recursion
    von Paulson, Lawrence C.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    ML for the working programmer
    von Paulson, Lawrence C.

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Isabelle, HOL: a proof assistant for higher-order logic
    von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    ML for the working programmer
    von Paulson, Lawrence C.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Logic and computation: interactive proof with Cambridge LCF
    von Paulson, Lawrence C.

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    A compiler generator for semantic grammars
    von Paulson, Lawrence C.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    ML for the working programmer
    von Paulson, Lawrence C.

    Veröffentlicht 1996
    Online lesen
    E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Logic and computation: interactive proof with Cambridge LCF
    von Paulson, Lawrence C.

    Veröffentlicht 1987
    Online lesen
    E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    ML for the working programmer
    von Paulson, Lawrence C.

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Logic and computation: interactive proof with Cambridge LCF
    von Paulson, Lawrence C.

    Veröffentlicht 1987
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    ML for the working programmer
    von Paulson, Lawrence C.

    Veröffentlicht 1996
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Natural deduction proof as higher-order resolution
    von Paulson, Lawrence C.

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Designing a theorem prover
    von Paulson, Lawrence C.

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Logic programming, functional programmin, ans inductive definitions
    von Paulson, Lawrence C., Smith, Andrew C.

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    ML for the working programmer
    von Paulson, Lawrence C.

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    A concrete final coalgebra theorem for ZF set theory
    von Paulson, Lawrence C.

    Veröffentlicht 1994
    Buch


    Gespeichert in:

Suchwerkzeuge: