Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logic based program synthesis and tr...
~
(1998 :)
Logic based program synthesis and transformation13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Logic based program synthesis and transformationMaurice Bruynooghe (ed.).
Reminder of title:
13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
remainder title:
LOPSTR 2003
other author:
Bruynooghe, M.
corporate name:
Published:
Berlin ;Springer,c2004.
Description:
x, 232 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer e-books
Subject:
Logic programming
Online resource:
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b98080
ISBN:
9783540221746 (paper)
Logic based program synthesis and transformation13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Logic based program synthesis and transformation
13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /[electronic resource] :LOPSTR 2003Maurice Bruynooghe (ed.). - Berlin ;Springer,c2004. - x, 232 p. :ill., digital ;24 cm. - Lecture notes in computer science,30180302-9743 ;.
ISBN: 9783540221746 (paper)Subjects--Topical Terms:
295961
Logic programming
LC Class. No.: QA76.63 / .L69 2003
Dewey Class. No.: 005.115
Logic based program synthesis and transformation13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
LDR
:00966nmm 2200241 a 4500
001
217396
003
GreenPo
005
20091006154401.0
006
m d
007
cr nn 008maaau
008
091014s2004 gw j eng d
020
$a
9783540221746 (paper)
035
$a
978-3-540-22174-6
050
0 0
$a
QA76.63
$b
.L69 2003
082
0 4
$a
005.115
$2
22
090
$a
QA76.63
$b
.L864 2003
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Logic based program synthesis and transformation
$h
[electronic resource] :
$b
13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
$c
Maurice Bruynooghe (ed.).
246
3 0
$a
LOPSTR 2003
260
#
$a
Berlin ;
$a
New York :
$c
c2004.
$b
Springer,
300
$a
x, 232 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
3018
650
# 0
$a
Logic programming
$3
295961
700
1 #
$a
Bruynooghe, M.
$q
(Maurice)
$3
452479
710
2 #
$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/b98080
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
000000030324
電子館藏
1圖書
電子書
EB QA76.63 L864 2003
一般使用(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/b98080
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login