國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Automated deduction in classical and...

~

Caferra, Ricardo (1945)

Automated deduction in classical and non-classical logics : selected papers

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	selected papers
其他作者:	CaferraRicardo, 1945
其他作者:	SalzerGernot, 1963
出版地:	New York
出版者:	Springer;
出版年:	2000
面頁冊數:	viii, 297 pill : 24cm;
集叢名:	Lecture notes iin artificial intelligence
標題:	Automatic theorem proving -
標題:	Logic, Symbolic and mathematical -
ISBN:	3540671900

Automated deduction in classical and non-classical logics : selected papers
Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.) - New York : Springer, 2000. - viii, 297 p ; ill ; 24cm. - (Lecture notes iin artificial intelligence ; 1761).
Includes bibliographical references and index.
ISBN 3540671900
Automatic theorem provingLogic, Symbolic and mathematical

Caferra, Ricardo

Automated deduction in classical and non-classical logics : selected papers
LDR:00729cam 2200193 i 450 001 449734
005 20101023153711.0
009 a00028492
010 1 $a 3540671900 $b (pbk.) $d NT
100 $a 20080130d2000 m y0engy01 b
101 0 $a eng
200 1 $a Automated deduction in classical and non-classical logics $e selected papers $f Ricardo Caferra, Gernot Salzer (eds.)
210 $a New York $c Springer $d 2000
215 0 $a viii, 297 p $c ill $d 24cm
225 2 $a Lecture notes iin artificial intelligence $v 1761
320 $a Includes bibliographical references and index
410 0 $1 2001 $a ;1761. $a Lecture notes iin artificial intelligence
606 $a Automatic theorem proving $3 414208 $2 lc $3 724079
606 $a Logic, Symbolic and mathematical $3 397502 $2 lc $3 724080
676 $a 006.3/33 $v 21
680 $a QA76.9.A96 $b A85 2000
702 $a Caferra $b Ricardo $f 1945 $3 432038
702 $a Salzer $b Gernot $f 1963 $3 432039
801 1 $a cw $b 國立虎尾科技大學圖書館圖書館 $c 20020118

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E021170

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

006.333 A939 2000

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入