Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 :selected papers /

Corporate Author: International Workshop on Logic Based Program Synthesis and Transformation London, England)
Other Authors: Lau, Kung-Kiu,
Format: Book
Language:English
Published: Berlin : Springer, 2001.
Subjects:
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