1. Logic-Based Program Synthesis and Transformation
المؤلف: \ Moreno Falaschi (Ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها ,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
رده :
QA
76
.
63
.
L6
2015
E-Book
,
