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
LEADER 00922nmm a22002415u 4500
001 978-3-540-22152-4
003 Springer
020 |a 9783540221524 
035 |a (Sirsi) a215500 
700 1 |a Bruynooghe, Maurice. 
245 1 0 |a Program Development in Computational Logic  |h [E-Book] :  |b A Decade of Research Advances in Logic-Based Program Development /  |c by Maurice Bruynooghe, Kung-Kiu Lau. 
260 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2004   |e (Springer LINK) 
300 |a online resource 
490 0 |a Lecture Notes in Computer Science ;  |v 3049 
650 0 |a Artificial intelligence 
650 0 |a Computer science 
650 0 |a Logic design 
650 0 |a Software engineering 
700 1 |a Lau, Kung-Kiu. 
856 4 0 |u http://dx.doi.org/10.1007/b98187  |z Volltext 
596 |a 1 
915 |a zzwFZJ2 
949 |a XX(215500.1)  |w AUTO  |c 1  |i 215500-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 29/9/2010  |x UNKNOWN  |z UNKNOWN  |1 ONLINE