Logic-based program synthesis and transformation: 8th international workshop, lopstr'98, manchester, uk, june 15-19, 1998, selected papers
Auteur :
Flener, Pierre
ISBN :
9783540657651
Date de publication :
24 mars 1999
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
489 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text presents the refereed post-workshop proceedings of the 8th International Workshop on Logic Based Program Synthesis and Transformation. Among the topics covered are logic specification, mathematical program construction, logic programming and constraint logic programs.