Logic-Based Program Synthesis and Transformation

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

AvFred Mesnard,Peter J. Stuckey

Häftad, Engelska, 2019

Del 11408 i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Computational Logic — CL 2000

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

650 kr

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr