Zobacz książki o podobnej tematyce

Więcej informacji o Elements of Finite Model Theory

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 264 punkty

Opis

Emphasizes the computer science aspects of the subject.§Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fra

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science Human-computer interaction

• Pełny tytuł: Elements of Finite Model Theory
• Autor: Leonid Libkin
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 318
• EAN: 9783642059483
• ISBN: 3642059481
• ID: 01651259
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 516 g
• Wymiary: 235 × 155 × 19 mm
• Data wydania: 03. December 2010

Ulubione w innej kategorii

---

---

---