Program Development in Computational Logic

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development 1st 版 著者: Maurice Bruynooghe; ‎KungKiu Lau 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Program Development in Computational Logic : 9783540259510, 3540259511 および 印刷版のISBNは 9783540221524, 3540221522. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development 1st 版 著者: Maurice Bruynooghe; ‎KungKiu Lau 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Program Development in Computational Logic : 9783540259510, 3540259511 および 印刷版のISBNは 9783540221524, 3540221522. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。