Coverart for item
The Resource Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers, Andy King (ed.), (electronic resource)

Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers, Andy King (ed.), (electronic resource)

Label
Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers
Title
Logic-based program synthesis and transformation
Title remainder
17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers
Statement of responsibility
Andy King (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
005.1/15
LC call number
QA76.63
LC item number
.L69 2007
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
LOPSTR (Symposium)
http://library.link/vocab/relatedWorkOrContributorName
King, Andrew Malcolm
Series statement
Lecture notes in computer science
Series volume
4915
http://library.link/vocab/subjectName
Logic programming
Label
Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers, Andy King (ed.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318718
Dimensions
unknown
Isbn
9783540787686
Isbn Type
(softcover : alk. paper)
Lccn
2008922726
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318718
Label
Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers, Andy King (ed.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318718
Dimensions
unknown
Isbn
9783540787686
Isbn Type
(softcover : alk. paper)
Lccn
2008922726
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318718

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...