Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
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
Record Type:
Electronic resources : Monograph/item
Title/Author:
Processes, Terms and Cycles: Steps on the Road to Infinity :edited by Aart Middeldorp ... [et al.].
Reminder of title:
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
other author:
Middeldorp, Aart.
Published:
Berlin Heidelberg :Springer-Verlag GmbH.,2005.
Description:
xviii, 638 p. :ill., digital ;23 cm.
Series:
Lecture Notes in Computer Science,
Contained By:
Springer e-books
Subject:
Lambda calculus.
Online resource:
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)
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
000000013694
電子館藏
1圖書
電子書
EB QA9.5 P963 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/11601548
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login