25, 2010, Revised Selected Papers-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-Logic
نام عام مواد
[Book]
نام نخستين پديدآور
/ a Alpuente (eds.)کOlivier Danvy, Ian Zerny (auth.), Mar
خط فهرست نويسي و خط اصلي شناسه
fa
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Verlag Berlin Heidelberg-Springer
تاریخ نشرو بخش و غیره
, 2011.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Olivier Danvy
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers