Logic Program Synthesis and Transformation
Logic Program Synthesis and Transformation
Timothy P. Clement
,
Kung-Kiu Lau
Details
OL Work ID
OL20698235W
Find this book
Open Library