Elements of Finite Model Theory (Bog, Paperback / softback, Engelsk) af Leonid Libkin
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematikkens fundament
  6. Algoritmer og datastrukturer
  7. Matematisk datateori
  8. Databaser
  9. Elements of Finite Model Theory

Elements of Finite Model Theory

(Bog, Paperback / softback, Engelsk)
Forfatter: Leonid Libkin
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

Algoritmer og datastrukturer Databaser Matematikkens fundament Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Forfatter Leonid Libkin
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of hardcover 1st ed. 2004
Udgivelsesdato 03-12-2010
Første udgivelsesår 2010
Serie Texts in Theoretical Computer Science. An EATCS Series
Illustrationer 7 Illustrations, black and white
Originalsprog Germany
Sideantal 318
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 318 pages, 7 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783642059483