Gå direkte til innholdet
Elements of Finite Model Theory
Spar

Elements of Finite Model Theory

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;
Forfatter
Leonid Libkin
Opplag
Softcover reprint of hardcover 1st ed. 2004
ISBN
9783642059483
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
3.12.2010
Antall sider
318