博客來-作者-Kamareddine

熱門搜尋

分類(單選)	外文書(8) 顯示所有篩選
配送方式(可複選)	可海外宅配(8) 可港澳店取(6) 可新加坡店取(6) 可菲律賓店取(6)
其他(可複選)

搜尋結果共 8 筆, 頁數 1 / 1

呈現:

列表
小圖

		A Primer of Mathematical Analysis and the Foundations of Computation 外文書 , Fairouz Jonathan Kamareddine Seldin , Ingram , 出版日期: 2023-10-18 優惠價: 1348 元 This book is a different approach to teaching the foundations of mathematical analysis and of comput... more	放入購物車下次再買
		Thirty Five Years of Automating Mathematics 外文書 , F. D. Kamareddine , Ingram , 出版日期: 2010-10-22 優惠價: 6599 元 THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN S AUTOMATH N. G. de ... more	放入購物車下次再買
		A Modern Perspective On Type Theory: From Its Origins Until Today 外文書 , Fairouz D./ Laan Kamareddine R. P. Twan/ Nederpelt , Ingram , 出版日期: 2004-06-09 優惠價: 10000 元 Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general ... more	放入購物車下次再買
		Logical Reasoning: A First Course 外文書 , F. Nederpelt R./ Kamareddine , Ingram , 出版日期: 2004-04-02 優惠價: 1325 元 This book describes how logical reasoning works and puts it to the test in applications. It is self-... more	放入購物車下次再買
		Thirty Five Years of Automating Mathematics: A Volume Dedicated to De Bruijn’s Automath 外文書 , Fairouz D. (EDT) Kamareddine , Ingram , 出版日期: 2003-11-30 優惠價: 8500 元 THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN S AUTOMATH N. G. de ... more	放入購物車下次再買
		A Century since Principia’s Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin’s 80th Anniversary 外文書 , Fairouz Kamareddine , Ingram , 出版日期: 2023-07-11 優惠價: 1293 元 In 1922, Curry started reading Principia Mathematica and was intrigued by the complications of its s... more	放入購物車下次再買
		Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings 外文書 , Claudio Fairouz Kamareddine Sacerdoti Coen , Ingram , 出版日期: 2021-07-10 優惠價: 3299 元 This book constitutes the refereed proceedings of the 14th International Conference on Intelligent C... more	放入購物車下次再買
		Intelligent Technologies and Applications: First International Conference, Intap 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Pap 外文書 , Anna Bajwa Costa Fairouz Imran Sarwar Kamareddine , Ingram , 出版日期: 2019-03-12 優惠價: 6599 元 This book constitutes the refereed proceedings of the First International Conference on Intelligent ... more	放入購物車下次再買

全選

放入購物車

搜尋推薦