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

切換: 標籤 | MARC模式 | ISBD

Automated theorem proving ~ Newborn, Monty

 

• Automated theorem proving

• 紀錄類型:	書目-語言資料,印刷品 : Monograph/item
  書名/作者:	Automated theorem proving/ Newborn, Monty
  作者:	Newborn, Monty
  出版者:	Quebec : Springer, 2001
  面頁冊數:	231頁; 24x16公分
  附註:	CDx1
  標題:	Automatic theorem proving
  ISBN:	0387950753(精裝)

• Automated theorem proving
• Newborn, Monty
  
  Automated theorem provingNewborn, Monty - 1ST ED. - QuebecSpringer2001 - 231頁24x16公分
  
  CDx1
  
  ISBN: 0387950753(精裝)Subjects--Topical Terms:
  
  136150
  Automatic theorem proving
  

• Automated theorem proving
• LDR:00370nam 2200157 450 001 176559
  008 100607t2001 ca a a 000 0 eng d
  020 $a  0387950753(精裝)
  035 $a  9207460
  040 $b  eng $c  DYU
  041 0 # $a  eng
  044 $a  ca
  100 0 $a  Newborn, Monty $3  363211
  245 1 0 $a  Automated theorem proving $c  Newborn, Monty
  250 $a  1ST ED.
  260 # $a  Quebec $b  Springer $c  2001
  300 $a  231頁 $c  24x16公分
  500 $a  CDx1
  650 # 0 $a  Automatic theorem proving $3  136150
  

筆 0 讀者評論

全部 四樓西文圖書區

館藏

• 1 筆 • 頁數 1 •
• 1

條碼號	典藏地名稱	館藏流通類別	資料類型	索書號	使用類型	借閱狀態	預約狀態	備註欄	附件
801004010000005	四樓西文圖書區	1.圖書流通	圖書	004.01 N428	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