Program development in computational logic : a decade of research advances in logic-based program de - detaljert visning

Program development in computational logic : a decade of research advances in logic-based program development

Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Bok Engelsk 2004


Utgitt	Berlin : Springer , c2004
Omfang	VIII, 538 s. : ill.
Emner	Computer logic Logic programming Automatisk bevisføring Logikkprogrammering Vis mer... Programutvikling Programverifikasjon
ISBN	3540221522