Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 / Patricia M. Hill, editor

Contributor(s): Hill, Patricia M [author.]
Language: English Series: Lecture notes in computer science, 0302-9743; 3901Publisher: Berlin, New York : Springer Publishing, c2006Description: x, 178 pages : illustrations ; 24 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 3540326545; 9783540326540Subject(s): Logic based program synthesis | Logic based program transformation | Logic programming -- CongressesDDC classification: 005.15
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Home library Call number Status Date due Barcode Item holds
BOOK BOOK COLLEGE LIBRARY
COLLEGE LIBRARY
SUBJECT REFERENCE 		005.15 L829 2006 (Browse shelf) Available CITU-CL-36441
Total holds: 0

Includes index.

There are no comments for this item.

to post a comment.