Germán Vidal. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Germán Vidal. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Berlín, Alemania: Springer.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
MLA -ийн эшлэл (9 дэх хэвлэлт)
Germán Vidal. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.