Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Co... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Diskret matematik
  9. Automated Reasoning with Analytic Tableaux and Related...

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 21-08-2013
Første udgivelsesår 2013
Serie Lecture Notes in Artificial Intelligence
Illustrationer 34 Illustrations, black and white; X, 289 p. 34 illus.
Fagredaktør Didier Galmiche, Dominique Larchey-Wendling
Originalsprog Germany
Sideantal 289
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 289 pages, 34 Illustrations, black and white; X, 289 p. 34 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783642405365