Search

Filters

Use filters to refine the search results.

Current Filters:






New Filters:

Showing 1 out of a total of 1 results for collection: Electronic publications. (0.001 seconds)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover

Mol, M.J.T.M. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

2001, Article in monograph or in proceedings (Arts, Thomas; Mohnen, Markus (ed.), Implementation of Functional Languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers, pp. 55-72)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

Explore

Author

Document type

Article in monograph or in proceedings (1)

Date Issued

2001 (1)

Journal

Lecture Notes in Computer Science (1)

Departments

Digital Security (1)
General Internal Medicine (1)
Security of Systems (1)
... View More

Browse

All of Repository
This Collection