Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /

Saved in:
Bibliographic Details
Main Author: Leuschel, Michael
Corporate Author: Proceedings The Netherlands, Utrecht
Other Authors: Proietti, M. (Editor)
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1996
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 1048
Subjects:
logický programovací jazyk Tempo > program Horn > Datalog > softwarové inžinierstvo
ISBN:3540609393
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items