Program Development in Computational Logic [E-Book] : A Decade of Research Advances in Logic-Based Program Development / by Maurice Bruynooghe, Kung-Kiu Lau.
Bruynooghe, Maurice.
Lau, Kung-Kiu.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
9783540221524
Lecture Notes in Computer Science ; 3049
Full Text
Description not available.