Cover Image

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /

"This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date...

Full description

Bibliographic Details
Corporate Authors: International Workshop on Logic Program Synthesis and Transformation Utrecht, Netherlands, SpringerLink (Online service)
Other Authors: Proietti, Maurizio, 1959-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1048.
Subjects:
Logic programming > Congresses.
génie logiciel.
vérification programme.
spécification programme.
métalangage.
logique induction.
implémentation.
théorie type.
déduction automatique.
transformation programme.
programmation en logique.
Programmation logique > Congrès.
Logic programming.
Logisch programmeren.
Programmation logique.
Kongre€.
Logische Programmierung.
Metaprogrammierung.
Programmtransformation.
Electronic books.
Kongre€ > Utrecht > 1995.
Conference proceedings.
Utrecht (1995)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.63 .I57 1996
 
Call Number Status Get It
QA76.63 .I57 1996 Available