語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
到查詢結果
[ author_sort:"middeldorp, aart." ]
切換:
標籤
|
MARC模式
|
ISBD
Processes, Terms and Cycles: Steps o...
~
Middeldorp, Aart.
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Processes, Terms and Cycles: Steps on the Road to Infinity :edited by Aart Middeldorp ... [et al.].
其他題名:
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
其他作者:
Middeldorp, Aart.
出版者:
Berlin Heidelberg :Springer-Verlag GmbH.,2005.
面頁冊數:
xviii, 638 p. :ill., digital ;23 cm.
叢書名:
Lecture Notes in Computer Science,
Contained By:
Springer e-books
標題:
Lambda calculus.
電子資源:
http://dx.doi.org/10.1007/11601548
ISBN:
9783540309116 (paper)
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Processes, Terms and Cycles: Steps on the Road to Infinity :
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday[electronic resource] /edited by Aart Middeldorp ... [et al.]. - Berlin Heidelberg :Springer-Verlag GmbH.,2005. - xviii, 638 p. :ill., digital ;23 cm. - Lecture Notes in Computer Science,38380302-9743 ;.
ISBN: 9783540309116 (paper)Subjects--Topical Terms:
277880
Lambda calculus.
LC Class. No.: QA9.5 / .P76 2005
Dewey Class. No.: 511.3
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
LDR
:00995nmm _22002415a_450
001
189437
003
Springer
005
20080501155223.0
006
m d
007
cr nn 008maaau
008
090528s2005 gw j eng d
020
$a
9783540309116 (paper)
020
$a
9783540324256 (electronic bk.)
035
$a
00342488
050
0 0
$a
QA9.5
$b
.P76 2005
082
0 4
$2
22
$a
511.3
090
$a
QA9.5
$b
.P963 2005
245
0 0
$a
Processes, Terms and Cycles: Steps on the Road to Infinity :
$b
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
$c
edited by Aart Middeldorp ... [et al.].
$h
[electronic resource] /
260
#
$a
Berlin Heidelberg :
$c
2005.
$b
Springer-Verlag GmbH.,
300
$a
xviii, 638 p. :
$b
ill., digital ;
$c
23 cm.
440
0
$a
Lecture Notes in Computer Science,
$v
3838
$x
0302-9743 ;
650
# 0
$a
Lambda calculus.
$3
277880
650
# 0
$a
Rewriting systems (Computer science)
$3
283880
650
# 0
$a
Machine theory.
$3
199330
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Artificial Intelligence (incl. Robotics)
$3
252959
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
650
# 0
$a
Mathematical Logic and Formal Languages.
$3
275383
650
# 0
$a
Mathematical Logic and Foundations.
$3
274479
700
0 #
$a
Middeldorp, Aart.
$3
285470
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/11601548
$z
http://dx.doi.org/10.1007/11601548
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000013694
電子館藏
1圖書
電子書
EB QA9.5 P963 2005
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/11601548
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入