دانلود کتاب Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
by Norbert E. Fuchs
|
عنوان فارسی: سنتز و تحول برنامه مبتنی بر منطق: هشتمین کارگاه بین المللی ، LOPSTR’98 منچستر ، انگلیس ، 15 تا 19 ژوئن ، 1998 مقاله های منتخب |