Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of ... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Algoritmer og datastrukturer
  5. Kompilatorer og fortolkere
  6. Softwareudvikling
  7. Matematisk datateori
  8. Kunstig intelligens
  9. Automated Reasoning: 9th International Joint Conference, IJCAR...

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algoritmer og datastrukturer Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2018 ed.
Udgivelsesdato 01-07-2018
Første udgivelsesår 2018
Serie Lecture Notes in Computer Science
Illustrationer 128 Illustrations, black and white
Fagredaktør Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Originalsprog Switzerland
Sideantal 724
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 724 pages, 128 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319942049