博客來-作者-Manolios

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

呈現:

		World Science Fiction #1: Visions to Preserve the Biodiversity of the Future 外文書 , James Patrick Kelly Lavie Manolios Michalis Tidhar , Ingram , 出版日期: 2019-06-30 優惠價: 880 元	放入購物車下次再買
		Computer-Aided Reasoning: Acl2 Case Studies 外文書 , J. Strother Kaufmann Manolios Matt Moore Panagiotis , Ingram , 出版日期: 2010-12-08 優惠價: 13199 元	放入購物車下次再買
		Computer-Aided Reasoning: Acl2 Case Studies 外文書 , J. Strother Kaufmann Manolios Matt Moore Panagiotis , Ingram , 出版日期: 2000-06-30 優惠價: 13199 元	放入購物車下次再買
		Computer-Aided Reasoning: An Approach 外文書 , J Strother Kaufmann Matt/ Manolios Panagiotis/ Moore , Springer Verlag , 出版日期: 2000-06-01 優惠價: 12502 元	可訂購時通知我
		Computer-aided Reasoning: Acl2 Case Studies 外文書 , J Strother Kaufmann Matt/ Manolios Panagiotis (EDT)/ Moore , Ingram , 出版日期: 2000-06-01 優惠價: 19740 元 Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative wa... more	可訂購時通知我

搜尋推薦