嶺東科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Conditional and preferential logics : proof methodsand theorem proving

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	proof methodsand theorem proving
作者:	PozzatoGian Luca,
出版地:	Amsterdam
出版者:	IOS Press;
出版年:	c2010
面頁冊數:	viii, 200 p.ill. : 24 cm.;
集叢名:	Dissertations in artificial intelligence
標題:	Proof theory. -
標題:	Logic, Symbolic and mathematical. -
附註:	Revised and updated version of the author's Ph.D. dissertation, University of Torino.
ISBN:	9781607500940pbk.

Conditional and preferential logics : proof methodsand theorem proving
Pozzato, Gian Luca

Conditional and preferential logics : proof methodsand theorem proving / Gian Luca Pozzato - Amsterdam : IOS Press, c2010. - viii, 200 p. ; ill. ; 24 cm.. - (Dissertations in artificial intelligence).
Revised and updated version of the author's Ph.D. dissertation, University of Torino.Includes bibliographical references (p. 193-200).
ISBN 9781607500940
Proof theory.Logic, Symbolic and mathematical.

Conditional and preferential logics : proof methodsand theorem proving
LDR:00635nam 2200169 450 001 244670
009 00208976
010 1 $a 9781607500940 $b pbk. $d NT$3846
100 $a 20101206d2010 u z engy01 b
101 0 $a eng
200 0 $a Conditional and preferential logics $e proof methodsand theorem proving $f Gian Luca Pozzato
210 $a Amsterdam $d c2010 $c IOS Press
215 1 $a viii, 200 p. $c ill. $d 24 cm.
225 $a Dissertations in artificial intelligence
300 $a Revised and updated version of the author's Ph.D. dissertation, University of Torino.
300 $a Includes bibliographical references (p. 193-200)
606 1 $a Proof theory. $3 214006
606 1 $a Logic, Symbolic and mathematical. $3 96732
676 $a 511.3
700 1 $a Pozzato $b Gian Luca $3 254440
801 0 $b 嶺東科技大學圖書館

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

297412

總館A區6F

一般流通

一般圖書

511.3 P893

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入