回首頁 到查詢結果 [ subject:"Automatic theorem proving" ]

切換: 標籤 | MARC模式 | ISBD

Logic for computer science:foundatio... ~ GallierJean H.

 

• Logic for computer science:foundations of automatic theorem proving

• 紀錄類型:	書目-語言資料,印刷品 : Monograph/item
  書名/作者:	Logic for computer science:foundations of automatic theorem proving/ Gallier,Jean H.
  作者:	GallierJean H.
  出版者:	New York : John Wiley & Sons, Ltd., 1987
  面頁冊數:	511頁; 23x15公分
  標題:	Automatic theorem proving
  標題:	Logic,symbolic
  ISBN:	0471615463(平裝)

• Logic for computer science:foundations of automatic theorem proving
• GallierJean H.
  
  Logic for computer science:foundations of automatic theorem provingGallier,Jean H. - New YorkJohn Wiley & Sons, Ltd.1987 - 511頁23x15公分
  
  ISBN: 0471615463(平裝)Subjects--Topical Terms:
  
  136150
  Automatic theorem proving
  

• Logic for computer science:foundations of automatic theorem proving
• LDR:00370nam 2200133 450 001 161394
  008 100623t1987 us a a 000 0 eng d
  020 $a  0471615463(平裝)
  035 $a  8403680
  040 $b  eng $c  DYU
  041 $a  eng
  044 $a  us
  100 $a  GallierJean H. $3  160023
  245 1 0 $a  Logic for computer science:foundations of automatic theorem proving $c  Gallier,Jean H.
  260 $a  New York $b  John Wiley & Sons, Ltd. $c  1987
  300 $a  511頁 $c  23x15公分
  650 $a  Automatic theorem proving $3  136150
  650 $a  Logic,symbolic $3  160024
  

筆 0 讀者評論

全部 四樓西文圖書區

館藏

• 1 筆 • 頁數 1 •
• 1

條碼號	典藏地名稱	館藏流通類別	資料類型	索書號	使用類型	借閱狀態	預約狀態	備註欄	附件
801511300000011	四樓西文圖書區	1.圖書流通	圖書	511.3 G136	1.一般(Normal)	在架	0

• 1 筆 • 頁數 1 •
• 1

評論

• 新增評論 分享你的心得

2008 傳技資訊 最佳瀏覽使用FireFox或IE7.0以上版本 建議您至http://moztw.org/或http://www.microsoft.com/taiwan/windows/ie/downloads/default.mspx下載 v3.1.1.2