Studiebog

Automated Deduction in Geometry

- 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (2015)

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Artificial Intelligence

Normalpris: kr. 199,95

Medlemspris: kr. 184,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
Forventet levering: 09-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

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 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal181
Udgivelsesdato23-10-2013
ISBN139783319213613
Forlag Springer International Publishing AG
Nummer i serien9201
FormatPaperback

Størrelse og vægt

Vægt2993 g

Dybde1,4 cm

10 cm

15,5 cm

23,5 cm

Automated Deduction in Geometry

- 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (2015)

Findes i disse kategorier...

Se andre, der handler om...