Language:
English
繁體中文
Help
圖資館首頁
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)
ALL
西方語文圖書區(四樓)
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
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
Processing
...
Change password
Login