Program development in computational logic
Program development in computational logic
Maurice Bruynooghe
,
Kung-Kiu Lau
Details
OL Work ID
OL18354283W
Subjects
Logic programming
Computer logic
Computer science, mathematics
Logic, symbolic and mathematical
Find this book
Open Library