著者典拠情報

著者標目形：
Wright, J. (Joakim) von, 1955-
属性：
Personal
日付：
1955-
から見よ参照形：
Von Wright, J. (Joakim), 1955-
Wright, Joakim von, 1955-
注記：
Internat. Conf. on Theorem Proving in Higher Order Logics (9th : 1996 : Turku, Finland). Theorem proving in higher order logics, c1996: CIP t.p. (J. von Wright) t.p. verso (Joakim von Wright, Abo Akademi Univ., Dept. Computer Science)
SRC:Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright ... [et al.] (eds.)(Springer, c1996)
著者典拠ID：
DA10117627


1.

図書
図書
1. Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
出版情報: New York : Springer, c1998
シリーズ名: Graduate texts in computer science
所蔵情報: 図書館
2.

図書
図書
2. Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings
J. von Wright, J. Grundy, J. Harrison, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1125
所蔵情報: 図書館