Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
The Seventeen Provers of the WorldFo...
~
SpringerLink (Online service)
The Seventeen Provers of the WorldForeword by Dana S. Scott /
Record Type:
Electronic resources : Monograph/item
Title/Author:
The Seventeen Provers of the Worldedited by Freek Wiedijk.
Reminder of title:
Foreword by Dana S. Scott /
other author:
Wiedijk, Freek.
Published:
Berlin Heidelberg :Springer-Verlag GmbH.,2006
Description:
xvi, 157 p. :ill., digital ;24 cm.
Series:
Lecture Notes in Computer Science,
Contained By:
Springer e-books
Subject:
Proof theoryData processing.
Online resource:
http://dx.doi.org/10.1007/11542384
ISBN:
9783540307044 (paper)
The Seventeen Provers of the WorldForeword by Dana S. Scott /
The Seventeen Provers of the World
Foreword by Dana S. Scott /[electronic resource] :edited by Freek Wiedijk. - Berlin Heidelberg :Springer-Verlag GmbH.,2006 - xvi, 157 p. :ill., digital ;24 cm. - Lecture Notes in Computer Science,36000302-9743 ;.
ISBN: 9783540307044 (paper)Subjects--Topical Terms:
278944
Proof theory
--Data processing.
LC Class. No.: QA155.7.E4 / S48 2006
Dewey Class. No.: 511.3/6
The Seventeen Provers of the WorldForeword by Dana S. Scott /
LDR
:00916nmm _22002415a_450
001
186531
003
Springer
005
20080114085820.0
006
m d
007
cr nn 008mamaa
008
090528s2006 gw j eng d
020
$a
9783540307044 (paper)
020
$a
9783540328889 (electronic bk.)
035
$a
00333891
050
0 0
$a
QA155.7.E4
$b
S48 2006
082
0 0
$2
22
$a
511.3/6
090
$a
QA155.7.E4
$b
S497 2006
245
0 4
$a
The Seventeen Provers of the World
$b
Foreword by Dana S. Scott /
$c
edited by Freek Wiedijk.
$h
[electronic resource] :
260
#
$a
Berlin Heidelberg :
$c
2006
$b
Springer-Verlag GmbH.,
300
$a
xvi, 157 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture Notes in Computer Science,
$v
3600
$x
0302-9743 ;
650
# 0
$a
Proof theory
$x
Data processing.
$3
278944
650
# 0
$a
Algebra
$x
Computer programs.
$3
278945
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Artificial Intelligence (incl. Robotics)
$3
252959
650
# 0
$a
Mathematical Logic and Formal Languages.
$3
275383
650
# 0
$a
Software Engineering.
$3
274511
700
0 #
$a
Wiedijk, Freek.
$3
278943
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer e-books
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/11542384
$z
http://dx.doi.org/10.1007/11542384
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
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
000000011905
電子館藏
1圖書
電子書
EB QA155.7.E4 S497 2006
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/11542384
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login