Wright, Joakim von 1955-
Wright, Joakim von
Joakim von Wright Ph.D. Åbo Akademi University 1990
von Wright, Joakim
Wright, J. von (Joakim), 1955-
Wright, J. von (Joakim von), 1955-
VIAF ID: 115122395 ( Personal )
Permalink: http://viaf.org/viaf/115122395
Preferred Forms
- 100 0 _ ‡a Joakim von Wright ‡c Ph.D. Åbo Akademi University 1990
- 200 _ | ‡a Wright ‡b Joakim von ‡f 1955-....
-
- 100 1 _ ‡a Wright, J. von ‡q (Joakim), ‡d 1955-
-
-
-
-
- 100 1 _ ‡a Wright, Joakim von, ‡d 1955-....
- 100 1 _ ‡a Wright, Joakim von ‡d 1955-
- 100 1 _ ‡a von Wright, Joakim
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
A lattice-theoretical basis for program refinement | |
Refinement calculus : a systematic introduction | |
Theorem proving in higher order logics : 9th International Conference, TPHOLs’96, Turku, Finland, August 26–30, 1996 : proceedings | |
Theorem proving in higher order logics / J. von Wright, J. Grundy, J. Harrison (eds.). - Berlin, 1996. | |
TPHOLs'96 |