Name: (eBook PDF) Logic-Based Program Synthesis and Transformation 1st Edition 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Brand: ibuks
Price: 24.99 USD
Availability: InStock

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtanjugxxtamrvgiCtqojx.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Logic-Based Program Synthesis and Transformation 1st Edition 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

$29.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtomzygqxtamrvgmBdkmrq.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtenzzgixtamrvgmzdanzx.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Inductive Logic Programming 1st Edition 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtmnbtgCxtamrvgmAtmmbr.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Logic-Based Program Synthesis and Transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7 8, 2021, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtgnzzgxxtamrvgmztanrw.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

$14.99

https://image22.fra1.digitaloceanspaces.com/Full63k/1677034434d53dfb9f8e.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Knowledge Technology: Third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. Revised Selected Papers

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtcojrgmxtamrvgmxtemrv.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Argumentation in Multi-Agent Systems 1st Edition 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers

$14.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtgmbshextamrvgmzdgmru.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtknrqgmxtamrvgmAdqmzt.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) FM 2011: Formal Methods 1st Edition 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

$19.99

(eBook PDF) Logic-Based Program Synthesis and Transformation 1st Edition 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Write a Review

ibuks

(eBook PDF) Logic-Based Program Synthesis and Transformation 1st Edition 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers