Pastāsti draugiem par šo preci:
Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
Cena
€ 157,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 9. - 23. sept.
Saņemiet paziņojumus par jauniem Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic
Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
193 pages, 8 b/w illus.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2017. gada 2. marts |
| ISBN13 | 9781107167940 |
| Izdevēji | Cambridge University Press |
| Lapas | 194 |
| Izmēri | 161 × 235 × 19 mm · 450 g |
| Valoda | Angļu |
