Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of ... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Numerisk analyse
  5. Matematik til informatikfag
  6. Softwareudvikling
  7. Matematisk datateori
  8. Kunstig intelligens
  9. Automated Reasoning: 7th International Joint Conference, IJCAR...

Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

(Bog, Paperback / softback, Engelsk)
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
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

Kunstig intelligens Matematik til informatikfag Matematisk datateori Numerisk analyse Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 04-08-2014
Første udgivelsesår 2014
Serie Lecture Notes in Computer Science
Illustrationer 101 Illustrations, black and white
Fagredaktør Stephane Demri, Deepak Kapur, Christoph Weidenbach
Originalsprog Switzerland
Sideantal 528
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 528 pages, 101 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319085869