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出力(各巻) |
資料種別 | 機械可読データファイル |
目次・あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数:2回
※2020年8月16日以降