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.

Publisher
Springer Nature
Publication date
1996
Language
English
ISBN 10 
0387609393
ISBN 13 
9780387609393
Binding
Paperback

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