|
|
|
|
LEADER |
00799nam a2200181 a 4500 |
001 |
967683 |
005 |
20171111231434.0 |
008 |
030306s2000 gw a eng |
020 |
|
|
|a 3540421270
|
050 |
|
0 |
|a QA76.73
|b .I57 2000
|
111 |
2 |
|
|a International Workshop on Logic Based Program Synthesis and Transformation
|c London, England)
|d 2000 :
|
245 |
1 |
0 |
|a Logic based program synthesis and transformation :
|b 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 :selected papers /
|c Kung-Kiu Lau (Ed.)
|
260 |
|
|
|a Berlin :
|b Springer,
|c 2001.
|
300 |
|
|
|a viii, 181 p. :
|b ill. ;
|c 24 cm.
|
504 |
|
|
|a Includes bibliographical references.
|
650 |
|
0 |
|a Logic programming
|x Congresses
|
700 |
1 |
|
|a Lau, Kung-Kiu,
|
952 |
|
|
|a GRHeTEI
|b 59ccc5e36c5ad13446083315
|c 998a
|d 945l
|e QA76.73 .I57 2000
|t 1
|x m
|z Books
|