博客來-作者-Dybjer

熱門搜尋

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

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

呈現:

列表
小圖

		Semantics and Logics of Computation 外文書 , Andrew M. (EDT)/ Dybjer Peter (EDT) Pitts , Ingram , 出版日期: 2009-08-20 優惠價: 2759 元 This accessible and comprehensive volume addresses modern developments in semantics and logic of com... more	放入購物車下次再買
		Semantics and Logics of Computation 外文書 , Andrew M. (EDT)/ Dybjer Peter (EDT) Pitts , Ingram , 出版日期: 1997-02-28 優惠價: 7200 元 This accessible and comprehensive volume addresses modern developments in semantics and logic of com... more	放入購物車下次再買
		Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings 外文書 , Andrew M./ Poigne Axel David E./ Dybjer David H./ Rydeheard Peter/ Pitts Pitt , Ingram , 出版日期: 1989-08-23 優惠價: 3299 元	放入購物車下次再買
		Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures 外文書 , Barthe Dybjer Gilles Luis Peter Pinto , Ingram , 出版日期: 2002-08-21 優惠價: 3299 元	放入購物車下次再買
		Types for Proofs and Programs: International Workshop, Types’’99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers 外文書 , Bengt Coquand Dybjer Nordstrom Peter Thierry , Ingram , 出版日期: 2000-12-13 優惠價: 3299 元	放入購物車下次再買
		Types for Proofs and Programs: International Workshop Types ’’94, Bastad, Sweden, June 6-10, 1994. Selected Papers 外文書 , Bengt Dybjer Jan Nordström Peter Smith , Ingram , 出版日期: 1995-10-18 優惠價: 3299 元	放入購物車下次再買
		Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-L�f 外文書 , Dybjer Erik (EDT)/ Sundholm Goran (EDT) Peter (EDT)/ Lindstrom Sten (EDT)/ Palmgren , Ingram , 出版日期: 2012-07-11 優惠價: 13199 元	可訂購時通知我
		Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf 外文書 , Dybjer Erik Lindström P. Palmgren Sten , Ingram , 出版日期: 2014-08-09 優惠價: 13199 元	可訂購時通知我

全選

放入購物車

搜尋推薦