Title of article :
Automated Procedure Construction for Deductive Synthesis
Author/Authors :
Steve Roach and Jeffrey Van Baalen ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Pages :
22
From page :
393
To page :
414
Keywords :
Partial deduction , Procedures , deductive , decision , synthesis
Journal title :
Automated Software Engineering
Serial Year :
2005
Journal title :
Automated Software Engineering
Record number :
307150
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=307150
بازگشت