Steinhorn charles (11 Ergebnisse)

Zustand: New.

Zustand: New. In English.

Zustand: New. Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods. Editor(s): Esparza, Javier; Michaux, Christian; Steinhorn, Charles. Series: London Mathematical Society Lecture Note Series. Num Pages: 356 pages, 55 b/w illus. BIC Classification: PBC; UMB. Category: (P) Professional & Vocational. Dimension: 227 x 154 x 18. Weight in Grams: 518. . 2011. Illustrated. paperback. . . . . Books ship from the US and Ireland. …

Karton Karton. Zustand: Sehr gut. 227 Seiten, mit Abbildungen, Zust: Gutes Exemplar. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 472.…

Paperback. Zustand: Brand New. 356 pages. 9.00x6.00x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research.…

Zustand: New. In English.

Zustand: New. Leading experts survey the connections between model theory and semialgebraic, subanalytic, p-adic, rigid and diophantine geometry. Editor(s): Haskell, Deirdre; Pillay, Anand; Steinhorn, Charles. Series Editor(s): Levy, Silvio. Series: Mathematical Sciences Research Institute Publications. Num Pages: 236 pages, illustrations. BIC Classification: PBC; PBWH. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 14. Weight in Grams: 475. . 2000. 1st Edition. hardcover. . . . . Books ship from the US and Ireland.…

Hardcover. Zustand: Brand New. 227 pages. 9.25x6.00x0.75 inches. In Stock.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and diophantine geometry. These applications range from a proof of the rationality of certain Poincare series associated to varieties over p-adic fields, to a proof of the Mordell-Lang conjecture for function fields in positive characteristic. In some cases (such as the latter) it is the most abstract aspects of model theory which are relevant. This book, originally published in 2000, arising from a series of introductory lectures for graduate students, provides the necessary background to understanding both the model theory and the mathematics behind these applications. The book is unique in that the whole spectrum of contemporary model theory (stability, simplicity, o-minimality and variations) is covered and diverse areas of geometry (algebraic, diophantine, real analytic, p-adic, and rigid) are introduced and discussed, all by leading experts in their fields.…

Zustand: gut. 2000. Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications. 39) In englischer Sprache. pages.