馆藏书目查询系统 - 上海图书馆

Author Results for Aagaard Mark, 1966-

Cover is for reference only

Theorem proving in higher order logics：13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings

Corporate Authors: International Conference on Theorem Proving in Higher Order Logics 2000 Portland, Or.) (Portland, Or.))
Group Author: Harrison J.; (John) 1966-; Aagaard Mark, 1966-
Published: Springer,
Publication Dates: c2000.
Call Number: TP301-532/T396/2000

Book

Cover is for reference only

Formal methods in computer-aided design：4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Corporate Authors: FMCAD 2002 (2002 Portland, Or.)
Group Author: Aagaard Mark, 1966-; O'Leary John W.
Published: Springer,
Publication Dates: c2002.
Call Number: TP391.72-532/F723/2002

Book

Narrow Search