Keywords: سنتز برنامه; Program assertion; Logic program; Program synthesis; Unfold/fold transformation
مقالات ISI سنتز برنامه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Efficient synthesis of a class of Boolean programs from II-OO data: Application to genetic networks
Keywords: سنتز برنامه; Program synthesis; Genetic networks; Discrete Jacobians; Reverse engineering
Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs
Keywords: سنتز برنامه; Specification and verification; Program synthesis; Computer Algebra;