嶺東科技大學 |

Language: English

Login

Create an account

Back

Switch To: Labeled | MARC Mode | ISBD

Conditional and preferential logics : proof methodsand theorem proving

Record Type:	Language materials, printed : monographic
Title Information:	proof methodsand theorem proving
Author:	PozzatoGian Luca,
Place of Publication:	Amsterdam
Published:	IOS Press;
Year of Publication:	c2010
Description:	viii, 200 p.ill. : 24 cm.;
Series:	Dissertations in artificial intelligence
Subject:	Proof theory. -
Subject:	Logic, Symbolic and mathematical. -
Notes:	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 嶺東科技大學圖書館

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

297412

總館A區6F

一般流通

一般圖書

511.3 P893

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login