國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Analysis and synthesis of logics :ho...

~

Carnielli, Walter A.

Analysis and synthesis of logics :how to cut and paste reasoning systems /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Analysis and synthesis of logics :by Walter Carnielli ... [et al.].
Reminder of title:	how to cut and paste reasoning systems /
other author:	Carnielli, Walter A.
Published:	Dordrecht :Springer,c2008.
Description:	xvi, 600 p. :ill. ;25 cm.
Series:	Applied logic series ;
Subject:	Logic, Symbolic and mathematical.
Online resource:	http://www.loc.gov/catdir/toc/fy0804/2008920294.html
ISBN:	140206781X (hbk. : alk. paper) :

Analysis and synthesis of logics :how to cut and paste reasoning systems /
Analysis and synthesis of logics :how to cut and paste reasoning systems /by Walter Carnielli ... [et al.]. - Dordrecht :Springer,c2008. - xvi, 600 p. :ill. ;25 cm. - Applied logic series ;v. 35.

Includes bibliographical references (p. 559-578) and index.

ISBN: 140206781X (hbk. : alk. paper) :NT$6242

LCCN: 2008920294

Nat. Bib. No.: GBA788563bnb

Nat. Bib. Agency Control No.: 014235585UkSubjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .A634 2008

Dewey Class. No.: 511.3

Analysis and synthesis of logics :how to cut and paste reasoning systems /
LDR:01036cam a22002897a 4500 001 234153
003 DLC
005 20080703101831.0
008 100301s2008 ne a b 001 0 eng
010 $a 2008920294
015 $a GBA788563 $2 bnb
016 7 $a 014235585 $2 Uk
020 $a 140206781X (hbk. : alk. paper) : $c NT$6242
020 $a 9781402067815 (hbk. : alk. paper)
020 $a 1402067828 (ebk.)
020 $a 9781402067822 (ebk.)
035 $a (OCoLC)ocn180474052
035 $a 2008920294
040 $a UKM $c UKM $d BTCTA $d YDXCP $d BAKER $d OHX $d EMU $d DLC
042 $a ukblcatcopy $a lccopycat
050 0 0 $a QA9 $b .A634 2008
082 0 4 $a 511.3 $2 22
245 0 0 $a Analysis and synthesis of logics : $b how to cut and paste reasoning systems / $c by Walter Carnielli ... [et al.].
260 $a Dordrecht : $c c2008. $b Springer,
300 $a xvi, 600 p. : $b ill. ; $c 25 cm.
440 0 $a Applied logic series ; $v v. 35
504 $a Includes bibliographical references (p. 559-578) and index.
650 0 $a Logic, Symbolic and mathematical. $3 180452
700 1 $a Carnielli, Walter A. $q (Walter Alexandre) $3 450747
856 4 1 $3 Table of contents $u http://www.loc.gov/catdir/toc/fy0804/2008920294.html

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

320000546145

西方語文圖書區(四樓)

1圖書

一般圖書

QA9 A532 2008

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Multimedia file
http://www.loc.gov/catdir/toc/fy0804/2008920294.html

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login