Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Proof theory in computer scienceinte...
~
(1998 :)
Proof theory in computer scienceinternational seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Proof theory in computer scienceReinhard Kahle, Peter Schroeder-Heister, Robert Stark (eds.).
Reminder of title:
international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
other author:
Kahle, Reinhard.
corporate name:
Published:
Berlin ;Springer,c2001.
Description:
viii, 238 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science ;
Contained By:
Springer e-books
Subject:
Automatic theorem provingCongresses.
Online resource:
http://dx.doi.org/10.1007/3-540-45504-3
ISBN:
9783540427520 (paper)
Proof theory in computer scienceinternational seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
Proof theory in computer science
international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /[electronic resource] :Reinhard Kahle, Peter Schroeder-Heister, Robert Stark (eds.). - Berlin ;Springer,c2001. - viii, 238 p. :ill., digital ;24 cm. - Lecture notes in computer science ;2183.
ISBN: 9783540427520 (paper)Subjects--Topical Terms:
443052
Automatic theorem proving
--Congresses.
LC Class. No.: QA76.9.A96 / P753 2001
Dewey Class. No.: 004.015113
Proof theory in computer scienceinternational seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
LDR
:00915nmm 2200229 a 4500
001
265095
003
GreenPo
005
20100930111704.0
006
m d
007
cr nn 008maaau
008
101102s2001 gw s j eng d
020
$a
9783540427520 (paper)
035
$a
978-3-540-42752-0
050
0 0
$a
QA76.9.A96
$b
P753 2001
082
0 0
$a
004.015113
$2
21
090
$a
QA76.9.A96
$b
P975 2001
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Proof theory in computer science
$h
[electronic resource] :
$b
international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
$c
Reinhard Kahle, Peter Schroeder-Heister, Robert Stark (eds.).
260
$a
Berlin ;
$a
New York :
$b
Springer,
$c
c2001.
300
$a
viii, 238 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science ;
$v
2183
650
0
$a
Automatic theorem proving
$v
Congresses.
$3
443052
700
1
$a
Kahle, Reinhard.
$3
376617
700
1
$a
Schroeder-Heister, Peter.
$3
468781
700
1
$a
Stark, Robert.
$3
468782
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/3-540-45504-3
950
$a
Computer Science (Lecture Notes in Computer Science)
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
000000046213
電子館藏
1圖書
電子書
EB QA76.9.A96 P753 2001 c2001.
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/3-540-45504-3
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login