Automated theorem proving : after 25 years

W.W. Bledsoe and D.W. Loveland, editors

この本の情報

書名 Automated theorem proving : after 25 years
著作者等 American Mathematical Society
Bledsoe, W. W.
Loveland, Donald W.
Special Session on Automatic Theorem Proving
Bledsoe W. W
シリーズ名 Contemporary mathematics
出版元 American Mathematical Society
刊行年月 c1984
ページ数 ix, 360 p.
大きさ 26 cm
ISBN 082185027X
NCID BA03456885
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

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

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想