Items related to Logic Program Synthesis and Transformation: 5th Internationa...

Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995 : Proceedings (Lecture Notes in Computer Science) - Softcover

International Workshop On Logic Program Synthesis And Transformation (5th : 1995 : Utrecht, Netherlands); Proietti, Maurizio

 
9780387609393: Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995 : Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387609393 ISBN 13: 9780387609393
Publisher: Springer Nature, 1996

This specific ISBN edition is currently not available.

Synopsis

Logic Program Synthesis and Transformation These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory. Full description

"synopsis" may belong to another edition of this title.

  • PublisherSpringer Nature
  • Publication date1996
  • ISBN 10 0387609393
  • ISBN 13 9780387609393
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540609391: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings: 1048 (Lecture Notes in Computer Science, 1048)

Featured Edition

ISBN 10:  3540609393 ISBN 13:  9783540609391
Publisher: Springer, 1996
Softcover