Leonid Libkin Forfatter

Visning: Type : Bog | Sprog : Alle | Format : Alle Der vises kun bøger

• 

  PRIS

  859,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Elements of Finite Model Theory (Bog, Paperback / softback, Engelsk)

  Af: Leonid Libkin

  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;

  PRIS

  859,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv