Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Computational logic and set theoryap...
~
Cantone, Domenico.
Computational logic and set theoryapplying formalized logic to analysis /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Computational logic and set theoryby Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
Reminder of title:
applying formalized logic to analysis /
Author:
Schwartz, Jacob T.
other author:
Cantone, Domenico.
Published:
London :Springer-Verlag London Limited,2011.
Description:
xvii, 416 p. :digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Computer logic.
Online resource:
http://dx.doi.org/10.1007/978-0-85729-808-9
ISBN:
9780857298089 (electronic bk.)
Computational logic and set theoryapplying formalized logic to analysis /
Schwartz, Jacob T.
Computational logic and set theory
applying formalized logic to analysis /[electronic resource] :by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. - London :Springer-Verlag London Limited,2011. - xvii, 416 p. :digital ;24 cm.
ISBN: 9780857298089 (electronic bk.)Subjects--Topical Terms:
199471
Computer logic.
LC Class. No.: QA76.9.L63 / S39 2011
Dewey Class. No.: 005.1
Computational logic and set theoryapplying formalized logic to analysis /
LDR
:00851nmm 2200253 a 4500
001
303183
003
Springer
005
20111025093516.0
006
m d
007
cr nn 008maaau
008
111028s2011 enk s j eng d
020
$a
9780857298089 (electronic bk.)
020
$a
9780857298072 (paper)
035
$a
978-0-85729-807-2
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.9.L63
$b
S39 2011
082
0 4
$a
005.1
$2
22
090
$a
QA76.9.L63
$b
S399 2011
100
1
$a
Schwartz, Jacob T.
$3
191568
245
1 0
$a
Computational logic and set theory
$h
[electronic resource] :
$b
applying formalized logic to analysis /
$c
by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
260
$a
London :
$b
Springer-Verlag London Limited,
$c
2011.
300
$a
xvii, 416 p. :
$b
digital ;
$c
24 cm.
650
0
$a
Computer logic.
$3
199471
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Computer Science, general.
$3
274540
650
2 4
$a
Computation by Abstract Devices.
$3
273703
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
700
1
$a
Cantone, Domenico.
$3
199852
700
1
$a
Omodeo, Eugenio G.
$3
522474
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-0-85729-808-9
950
$a
Computer Science (Springer-11645)
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
000000057226
電子館藏
1圖書
電子書
EB QA76.9.L63 S399 2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-0-85729-808-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login