Montant total (1 article articles) :
Destination de la commande :
elements finite model theory de libkin leonid (43 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (43)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (31)
- Comme neuf, Très bon ou Bon (7)
- Assez bon ou satisfaisant (4)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Particularités
- Ed. originale (2)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (1)
- Avec images (18)
- Sans impressions à la demande (37)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 11,24
Autre deviseEUR 6,45 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : thebookforest.com, San Rafael, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,38
Autre deviseEUR 3,42 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : LikeNew. Text block, wraps and binding are in like new condition, without markings of any kind. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
-
Elements of Finite Model Theory
Vendeur : Moe's Books, Berkeley, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 57,45
Autre deviseEUR 5,58 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Very good. Great condition. Cover and edges are slightly worn. Inside is clean and unmarked.
-
Elements of Finite Model Theory.
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 62,54
Autre deviseEUR 16 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. D03769 Ex-library with Stamp and Library-Signature in Good Condition, Some Traces of Use 9773540212028 Sprache: Englisch Gewicht in Gramm: 550.
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Bartleby's Books, Wilmington, VT, Etats-Unis
Évaluation du vendeur 3 sur 5 étoiles
EUR 88,38
Autre deviseEUR 6 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Used - Very Good. Etat de la jaquette : Very Good.
-
Elements of Finite Model Theory (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642059481 ISBN 13 : 9783642059483
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 95,88
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. 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 models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions. 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; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Elements of Finite Model Theory
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 93,56
Autre deviseEUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Elements of Finite Model Theory (Hardcover)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2004
ISBN 10 : 3540212027 ISBN 13 : 9783540212027
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 95,90
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. 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 models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions. 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; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Elements Of Finite Model Theory
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 93,58
Autre deviseEUR 2,27 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 93,76
Autre deviseEUR 3,42 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 94,18
Autre deviseEUR 3,42 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 106,06
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 106,06
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Elements of Finite Model Theory
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 111,16
Autre deviseEUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Elements Of Finite Model Theory
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 111,31
Autre deviseEUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 99,79
Autre deviseEUR 13,80 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 99,79
Autre deviseEUR 13,80 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Elements of Finite Model Theory
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 86,46
Autre deviseEUR 28,33 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9783642059483.
-
Elements of Finite Model Theory
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 99,78
Autre deviseEUR 17,27 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Elements Of Finite Model Theory
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 99,78
Autre deviseEUR 17,27 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Elements of Finite Model Theory
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 100,03
Autre deviseEUR 17,84 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Elements of Finite Model Theory
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 128,41
Autre deviseEUR 3,42 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 336.
-
Elements Of Finite Model Theory
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 114,45
Autre deviseEUR 17,27 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Elements of Finite Model Theory
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 114,59
Autre deviseEUR 17,27 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Elements of Finite Model Theory
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10 : 3642059481 ISBN 13 : 9783642059483
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 117,89
Autre deviseEUR 10,50 expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 318 pages, 7 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516. . 2010. Softcover reprint of hardcover 1st ed. 2004. Paperback. . . . .
-
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : BennettBooksLtd, San Diego, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 131,93
Autre deviseEUR 5,96 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : New. In shrink wrap. Looks like an interesting title!
-
Elements of Finite Model Theory
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
ISBN 10 : 3540212027 ISBN 13 : 9783540212027
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 124,24
Autre deviseEUR 10,50 expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Provides an introduction to finite model theory which stresses the computer science origins of the area. This book deals with the applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraisse games, locality-based techniques, and the complexity analysis of logics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 318 pages, 7 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 168 x 26. Weight in Grams: 630. . 2004. Hardback. . . . .
-
Elements of Finite Model Theory
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10 : 3642059481 ISBN 13 : 9783642059483
Langue: anglais
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 147,37
Autre deviseEUR 9,01 expédition vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 318 pages, 7 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516. . 2010. Softcover reprint of hardcover 1st ed. 2004. Paperback. . . . . Books ship from the US and Ireland.
-
Elements of Finite Model Theory
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10 : 3642059481 ISBN 13 : 9783642059483
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 96,29
Autre deviseEUR 60 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -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 models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
-
Elements of Finite Model Theory
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2004, 2004
ISBN 10 : 3540212027 ISBN 13 : 9783540212027
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 96,29
Autre deviseEUR 60 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware -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 models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
