Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Kunstig intelligens
  6. Matematisk datateori
  7. Programmering / softwareudvikling
  8. Automated Reasoning and Mathematics: Essays in Memory of...

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

(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

Kunstig intelligens Matematik til informatikfag Matematisk datateori Programmering / softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2013 ed.
Udgivelsesdato 19-03-2013
Første udgivelsesår 2013
Serie Lecture Notes in Computer Science
Illustrationer 27 Illustrations, black and white; XX, 259 p. 27 illus.
Fagredaktør Maria Paola Bonacina, Mark E. Stickel
Originalsprog Germany
Sideantal 259
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 259 pages, 27 Illustrations, black and white; XX, 259 p. 27 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783642366741