Normal view MARC view ISBD view

Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 / Patricia M. Hill, editor - x, 178 pages : illustrations ; 24 cm. - Lecture notes in computer science, 0302-9743; 3901 .

Includes index.

ISBN: 3540326545 9783540326540

Subjects--Topical Terms:
Logic based program synthesis.
Logic based program transformation.
Logic programming--Congresses.

Dewey Class. No.: 005.15