Language:
English
繁體中文
Help
圖資館首頁
Login
Back
to Search results for
[ subject:"Mathematics of Computing" ]
Switch To:
Labeled
|
MARC Mode
|
ISBD
A Modern Perspective on Type Theory :From its Origins until Today /
Record Type:
Electronic resources : Monograph/item
Title/Author:
A Modern Perspective on Type Theory :by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
Reminder of title:
From its Origins until Today /
Author:
Kamareddine, Fairouz.
other author:
Nederpelt, Rob.
Published:
Dordrecht :Springer Science + Business Media, Inc.,2005.
Description:
v.: digital
Series:
Applied Logic Series, ;
Subject:
Computer science
Online resource:
http://dx.doi.org/10.1007/1-4020-2335-9
ISBN:
9781402023347 (paper)
A Modern Perspective on Type Theory :From its Origins until Today /
Kamareddine, Fairouz.
A Modern Perspective on Type Theory :
From its Origins until Today /[electronic resource] :by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. - Dordrecht :Springer Science + Business Media, Inc.,2005. - v.: digital - Applied Logic Series, ;29,1386-2790 ;.
ISBN: 9781402023347 (paper)Subjects--Topical Terms:
252805
Computer science
LC Class. No.: QA9 / .K225 2005
Dewey Class. No.: 511.3
A Modern Perspective on Type Theory :From its Origins until Today /
LDR
:00871nmm _22002295a_450
001
175696
003
Springer
005
20070808164716.0
006
m e
007
cr nn 008mamaa
008
090528s2005 ne j eng d
020
$a
9781402023347 (paper)
020
$a
9781402023354 (electronic bk.)
035
$a
00280148
050
0 0
$a
QA9
$b
.K225 2005
082
0 0
$2
22
$a
511.3
090
$a
QA9
$b
.K18 2005
100
0
$a
Kamareddine, Fairouz.
$3
255414
245
1 2
$a
A Modern Perspective on Type Theory :
$b
From its Origins until Today /
$c
by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
$h
[electronic resource] :
260
#
$a
Dordrecht :
$c
2005.
$b
Springer Science + Business Media, Inc.,
300
$b
v.: digital
440
0
$a
Applied Logic Series, ;
$v
29,
$x
1386-2790 ;
650
# 0
$a
Computer science
$3
252805
650
# 0
$a
Logic
$3
217984
650
# 0
$a
Logic, Symbolic and mathematical
$3
254195
650
# 0
$a
Mathematics
$3
252617
650
# 0
$a
Mathematics of Computing
$3
253615
650
# 0
$a
Mathematical Logic and Foundations
$3
254197
700
0 #
$a
Nederpelt, Rob.
$3
255413
700
0 #
$a
Laan, Twan.
$3
255412
856
4 0
$u
http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/1-4020-2335-9
$z
http://dx.doi.org/10.1007/1-4020-2335-9
950
$a
Mathematics and Statistics (Springer-11649; ZDB-2-SMA)
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
000000004318
電子館藏
1圖書
電子書
EB QA9 K18 2005
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/1-4020-2335-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login