回首頁

切換: 標籤 | MARC模式 | ISBD

收臉型自動推論方法=contraction-based automate... ~ 台大資訊工程學研究所

 

• 收臉型自動推論方法=contraction-based automated deduction methods

• 紀錄類型:	微縮資料 : 單行本
  其他作者:	項潔
  團體作者:	台大資訊工程學研究所
  出版地:	台北市
  出版者:	科學技術資料中心;
  出版年:	1996
  面頁冊數:	54頁 : 11x15公分;
  附註:	NSC83-0408-E002-012-T

• 收臉型自動推論方法=contraction-based automated deduction methods
• 台大資訊工程學研究所
  
  收臉型自動推論方法=contraction-based automated deduction methods / 台大資訊工程學研究所 ; 項潔 - 台北市 : 科學技術資料中心, 1996. - 54頁 ; 11x15公分.
  NSC83-0408-E002-012-T.
  
  項潔

• 收臉型自動推論方法=contraction-based automated deduction methods
• LDR:00372nhm 2200121 450 001 320337
  009 8701939
  100 $a  20100726d1996 0chiy0900 e
  101 $a  chi
  102 $a  tw
  200 1 $a  收臉型自動推論方法=contraction-based automated deduction methods $f  台大資訊工程學研究所 $g  項潔
  210 $a  台北市 $c  科學技術資料中心 $d  1996
  215 $a  54頁 $d  11x15公分
  300 $a  NSC83-0408-E002-012-T
  702 $a  項潔 $3  78792
  710 $a  台大資訊工程學研究所 $3  344713
  

筆 0 讀者評論

評論

• 新增評論 分享你的心得

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