1. Forside
  2. Forfattere
  3. Leonid Libkin

Leonid Libkin Forfatter

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

Viser 1 - 1 af 1 resultat
  • PRIS
    945,- kr
    FRAGT FRA 35,-
    Levering: Skaffevare (forvent 14 - 30 hverdage)
    (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
    945,- kr
    FRAGT FRA 35,-
    Levering: Skaffevare (forvent 14 - 30 hverdage)
    Læg i kurv
Viser 1 - 1 af 1 resultat