gefundene Verfasser PAULSON, LAWRENCE C.

Paulson, Lawrence C.
Nipkow, Tobias 1958-
Paulson, Lawrence Charles
Wenzel, Markus

Treffer 1 - 20 von 33 für Suche 'PAULSON, LAWRENCE C.', Suchdauer: 0,55s Treffer weiter einschränken
  1. 1
    ML for the working programmer

    ML for the working programmer von Paulson, Lawrence C.

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    ML for the working programmer

    ML for the working programmer von Paulson, Lawrence C.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A concrete final coalgebra theorem for ZF set theory

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

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    ML for the working programmer

    ML for the working programmer von Paulson, Lawrence C.

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Experience with Isabelle a generic theorem prover

    Experience with Isabelle a generic theorem prover von Paulson, Lawrence C.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Logic and computation interactive proof with Cambridge LCF

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

    Veröffentlicht 1987
    BSB01
    FHN01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  7. 7
    ML for the working programmer

    ML for the working programmer von Paulson, Lawrence C.

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Isabelle, HOL a proof assistant for higher-order logic

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

    Veröffentlicht 2002
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Co-induction and co-recursion in higher-order logic

    Co-induction and co-recursion in higher-order logic von Paulson, Lawrence C.

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    ML for the working programmer

    ML for the working programmer von Paulson, Lawrence C.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A preliminary user's manual for Isabelle

    A preliminary user's manual for Isabelle von Paulson, Lawrence C.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Logic and computation interactive proof with Cambridge LCF

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

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A compiler generator for semantic grammars

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

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Isabelle, HOL a proof assistant for higher-order logic

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

    Veröffentlicht 2002
    DE-91
    DE-384
    DE-473
    DE-19
    DE-739
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  15. 15
    ML for the working programmer

    ML for the working programmer von Paulson, Lawrence C.

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    ML for the working programmer

    ML for the working programmer von Paulson, Lawrence C.

    Veröffentlicht 1996
    BSB01
    FHN01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  17. 17
    ML for the working programmer

    ML for the working programmer von Paulson, Lawrence C.

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Isabelle a generic theorem prover

    Isabelle a generic theorem prover von Paulson, Lawrence C.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Introduction to Isabelle

    Introduction to Isabelle von Paulson, Lawrence C.

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    The Isabelle reference manual

    The Isabelle reference manual von Paulson, Lawrence C.

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: