1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Dataarkitektur og logisk design
  6. Kunstig intelligens
  7. Programmering / softwareudvikling
  8. Logic-Based Program Synthesis and Transformation: 28th...

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

(Bog, Paperback / softback, Engelsk)
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Forlag: Springer Nature Switzerland AG

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Dataarkitektur og logisk design Kunstig intelligens Matematisk datateori Programmering / softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2019 ed.
Udgivelsesdato 23-02-2019
Første udgivelsesår 2019
Serie Lecture Notes in Computer Science
Illustrationer 4 Illustrations, color; 561 Illustrations, black and white
Fagredaktør Fred Mesnard, Peter J. Stuckey
Originalsprog Switzerland
Sideantal 203
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 203 pages, 4 Illustrations, color; 561 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030138370