Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Port... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Analytisk geometri
  6. Dataarkitektur og logisk design
  7. Kunstig intelligens
  8. Automated Deduction in Geometry: 10th International Workshop,...

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

(Bog, Paperback / softback, Engelsk)
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
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

Analytisk geometri Dataarkitektur og logisk design Kunstig intelligens Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2015
Udgivelsesdato 27-07-2015
Første udgivelsesår 2015
Serie Lecture Notes in Artificial Intelligence
Illustrationer 54 Illustrations, black and white; IX, 181 p. 54 illus.
Fagredaktør Francisco Botana, Pedro Quaresma
Originalsprog Switzerland
Sideantal 181
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 181 pages, 54 Illustrations, black and white; IX, 181 p. 54 illus.
Mål 155 x 234 x 143
ISBN-13 / EAN-13 9783319213613