topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 10
 |
Elements of Finite Model Theory
ISBN: 9783642059483 / Angielski / Miękka / 2010 / 318 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. 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; in other words, completeness fails over...
Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for fin...
|
cena:
350,98 zł |
 |
Logic, Language, Information, and Computation: 20th International Workshop, Wollic 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
ISBN: 9783642399916 / Angielski / Miękka / 2013 / 283 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th W... |
cena:
179,41 zł |
 |
Elements of Finite Model Theory
ISBN: 9783540212027 / Angielski / Twarda / 2004 / 318 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. 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; in other words, completeness fails over...
Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for fin...
|
cena:
350,98 zł |
 |
Constraint Databases
ISBN: 9783540661511 / Angielski / Twarda / 2000 / 428 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard re lational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and...
This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database re...
|
cena:
585,00 zł |
 |
Constraint Databases
ISBN: 9783642085420 / Angielski / Miękka / 2010 / 428 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard re lational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and...
This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database re...
|
cena:
585,00 zł |
 |
Relational and XML Data Exchange
ISBN: 9783031007125 / Angielski / Miękka / 2010 / 112 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Data exchange is the problem of finding an instance of a target schema, given an instance of a source schema and a specification of the relationship between the source and the target. Such a target instance should correctly represent information from the source instance under the constraints imposed by the target schema, and it should allow one to evaluate queries on the target instance in a way that is semantically consistent with the source data. Data exchange is an old problem that re-emerged as an active research topic recently, due to the increased need for exchange of data in various...
Data exchange is the problem of finding an instance of a target schema, given an instance of a source schema and a specification of the relationship b...
|
cena:
97,47 zł |
 |
Finite Model Theory and Its Applications
ISBN: 9783540004288 / Angielski / Twarda / 2007 / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our...
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, i...
|
cena:
350,98 zł |
 |
Finite Model Theory and Its Applications
ISBN: 9783642438608 / Angielski / Miękka / 2014 / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our...
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, i...
|
cena:
292,32 zł |
 |
In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman
ISBN: 9783642416590 / Angielski / Miękka / 2013 / 569 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests.
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends....
|
cena:
194,97 zł |
 |
Semantics in Databases
ISBN: 9783540641995 / Angielski / Miękka / 1998 / 271 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A collection of nine papers on semantics in databases. They address traditional aspects such as dealing with integrity constraints, as well as new areas of databases. Oject-orientation, incomplete information, database transformations and other issues are investigated by applying formal semantics.
A collection of nine papers on semantics in databases. They address traditional aspects such as dealing with integrity constraints, as well as new are...
|
cena:
194,97 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
