Mathematics, computer science and logic - a never ending story : the Bruno Buchberger festschrift / Peter Paule, editor
| データ種別 | 電子書籍 |
|---|---|
| 出版者 | Cham ; New York : Springer |
| 出版年 | [2013] |
書誌詳細を非表示
| 書誌ID | OB01026214 |
|---|---|
| 本文言語 | 英語 |
| 一般注記 | Includes bibliographical references Preface -- Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification -- Manfred Broy: On the Role of Logic and Algebra in Software Engineering -- Stephen Wolfram: New Directions in the Foundations of Mathematics (2002) -- Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics. License restrictions may limit access Description based on online resource; title from PDF title page (ebrary, viewed October 10, 2013) |
| 著者標目 | Paule, Peter |
| 件 名 | LCSH:Algorithms LCSH:Computer software LCSH:Information theory LCSH:Logic, Symbolic and mathematical LCSH:Mathematics LCSH:Software engineering |
| 分 類 | LCC:QA76.9.A43 DC23:510.1 |
| 巻冊次 | e-book ; ISBN:9783319009667 RefWorks出力（各巻） ISBN:9783319009650 RefWorks出力（各巻） |
| 資料種別 | 機械可読データファイル |
目次・あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数：1回
※2020年8月16日以降