Logic based program synthesis and transformation selected papers July 24 - 28, 2000

Saved in:

Bibliographic Details
Corporate Author:	International Workshop
Other Authors:	Lau, K.-K. 1953- Kung-Kiu
Format:	Unknown
Published:	New York Springer 2001
Series:	Lecture notes in computer science v. 2042
Subjects:	Logic programming > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet