Logic and computation : interactive proof with Cambridge LCF

Lawrence C. Paulson

この本の情報

書名 Logic and computation : interactive proof with Cambridge LCF
著作者等 Paulson, Lawrence C.
シリーズ名 Cambridge tracts in theoretical computer science
出版元 Cambridge University Press
刊行年月 c1987
ページ数 xiii, 302 p.
大きさ 25 cm
ISBN 0521346320
NCID BA01002402
※クリックでCiNii Booksを表示
言語 英語
出版国 イギリス
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想