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.)

この本の情報

書名 Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings
著作者等 Grundy, J.
Harrison, J.
International Conference on Theorem Proving in Higher Order Logics
Wright, J. (Joakim) von
シリーズ名 Lecture notes in computer science
出版元 Springer
刊行年月 c1996
ページ数 viii, 446 p.
大きさ 24 cm
ISBN 3540615873
NCID BA28159110
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想