このページのリンク

他の検索サイト

Introduction to HOL : a theorem proving environment for higher order logic / edited by M. J. C. Gordon and T. F. Melham

所蔵情報を非表示

科学文化論(品)
410/G67 0193023067 9302306

書誌詳細を非表示

出版情報 Cambridge : Cambridge University Press , 1993
大きさ xx, 472 p. ; 23 cm
著者標目 Gordon, M. J. C
Melham, T. F.
分　類 DC:511.3028553
本文言語 英語
書誌ID TY00001827
NCID BA2078819X