Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Adapting Proofs-as-ProgramsThe Curry...
~
Crossley, John Newsome.
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Adapting Proofs-as-Programsby Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
Reminder of title:
The Curry-Howard Protocol /
Author:
Poernomo, Iman Hafiz.
other author:
Crossley, John Newsome.
Published:
New York, NY :Springer Science+Business Media Inc.,2005.
Description:
xi, 420 p. :ill., digital ;24 cm.
Series:
Monographs in Computer Science,
Contained By:
Springer e-books
Subject:
Curry-Howard isomorphism.
Online resource:
http://dx.doi.org/10.1007/0-387-28183-5
ISBN:
9780387237596 (paper)
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
Poernomo, Iman Hafiz.
Adapting Proofs-as-Programs
The Curry-Howard Protocol /[electronic resource] :by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. - New York, NY :Springer Science+Business Media Inc.,2005. - xi, 420 p. :ill., digital ;24 cm. - Monographs in Computer Science,0172-603X.
ISBN: 9780387237596 (paper)Subjects--Topical Terms:
277878
Curry-Howard isomorphism.
LC Class. No.: QA9.54 / .P64 2005
Dewey Class. No.: 511.3/6
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
LDR
:00935nmm _22002415a_450
001
186060
003
Springer
005
20080103130525.0
006
m d
007
cr nn 008mamaa
008
090528s2005 nyu j eng d
020
$a
9780387237596 (paper)
020
$a
9780387281834 (electronic bk.)
035
$a
00333420
050
0 0
$a
QA9.54
$b
.P64 2005
082
0 0
$2
22
$a
511.3/6
090
$a
QA9.54
$b
.P745 2005
100
0
$a
Poernomo, Iman Hafiz.
$3
277877
245
1 0
$a
Adapting Proofs-as-Programs
$b
The Curry-Howard Protocol /
$c
by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
$h
[electronic resource] :
260
#
$a
New York, NY :
$c
2005.
$b
Springer Science+Business Media Inc.,
300
$a
xi, 420 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Monographs in Computer Science,
$x
0172-603X
650
# 0
$a
Curry-Howard isomorphism.
$3
277878
650
# 0
$a
Proof theory.
$3
190840
650
# 0
$a
Logic, Symbolic and mathematical.
$3
180452
650
# 0
$a
Functional programming (Computer science)
$3
277879
650
# 0
$a
Lambda calculus.
$3
277880
650
# 0
$a
Abstract data types (Computer science)
$3
277881
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
650
# 0
$a
Mathematical Logic and Foundations.
$3
274479
650
# 0
$a
Logic Design.
$3
276275
650
# 0
$a
Programming Techniques.
$3
274470
650
# 0
$a
Software Engineering/Programming and Operating Systems.
$3
273711
650
# 0
$a
Models and Principles.
$3
273718
700
0 #
$a
Crossley, John Newsome.
$3
277876
700
0 #
$a
Wirsing, Martin.
$3
277875
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/0-387-28183-5
$z
http://dx.doi.org/10.1007/0-387-28183-5
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
000000011434
電子館藏
1圖書
電子書
EB QA9.54 P745 2005
一般使用(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/0-387-28183-5
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login