lopstr97

سنتز و تحول برنامه منطقی: هفتمین کارگاه بین المللی، LOPSTR’97 Leuven، بلژیک، 10 تا 12 ژوئیه، 1997 مجموعه مقالات

دانلود کتاب Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings (به فارسی: سنتز و تحول برنامه منطقی: هفتمین کارگاه بین المللی، LOPSTR’97 Leuven، بلژیک، 10 تا 12 ژوئیه، 1997 مجموعه مقالات) نوشته شده توسط «W. Bibel – D. Korn – C. Kreitz – F. Kurucz (auth.) – Norbert E. Fuchs (eds.)» اطلاعات کتاب سنتز و تحول برنامه منطقی: هفتمین کارگاه بین المللی، LOPSTR’97 Leuven، بلژیک، 10 تا 12 ژوئیه، 1997 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: W. Bibel – D. Korn – C. Kreitz –…