Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
著者 Jim Grundy, Malcolm Newey
| 出版社: | Springer |
| 発売日: | 09-Sep-1998 |
| ISBN: | 3540649875 |
| ISBN13: | 9783540649878 |
| 形式: | Paperback |
| 重量: | 735 gms |
| 書誌情報: | pp. 516, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
書籍タイトル "Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings 1st Edition
" 著者 Jim Grundy. こちらの書籍が発行された年 1998. 書籍ＩＳＢＮ番号 3540649875|9783540649878 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. VIII + 497 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98073 冊の素晴らしい書籍がございます