Sinossi
Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sugli autori
Javier Esparza has held the Chair for Foundations of Software Reliability and Theoretical Computer Science at the Technische Universität München since 2007.
Christian Michaux has held the Chair of Mathematical Logic at the University of Mons (UMONS, formerly Université de Mons-Hainaut) since 2000. He is currently Dean of the Faculty of Sciences.
Charles Steinhorn is Professor of Mathematics at Vassar College, where he has served as Chair of the Mathematics Department and Associate Dean of the Faculty.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Finite and Algorithmic Model Theory
Foto dell'editore
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series, Vol. 379)
Da: Labyrinth Books, Princeton, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 137870
Compra nuovo
EUR 40,74
Spedizione EUR 3,87
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Finite and Algorithmic Model Theory
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 9835667-n
Compra nuovo
EUR 86,25
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series, Vol. 379)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9780521718202
Compra nuovo
EUR 88,60
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Finite and Algorithmic Model Theory
Editore:
Cambridge University Press, 2011
ISBN 10: 0521718201
ISBN 13: 9780521718202
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 9835667
Compra usato
EUR 88,08
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Finite and Algorithmic Model Theory (Paperback)
Editore:
Cambridge University Press, Cambridge, 2011
ISBN 10: 0521718201
ISBN 13: 9780521718202
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. The chapters include extensive bibliographies. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521718202
Compra nuovo
EUR 95,59
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series, Vol. 379)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521718202_new
Compra nuovo
EUR 81,81
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Finite and Algorithmic Model Theory
Editore:
Cambridge University Press 2011-03, 2011
ISBN 10: 0521718201
ISBN 13: 9780521718202
Nuovo
PF
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9780521718202
Compra nuovo
EUR 79,33
Spedizione EUR 17,90
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Finite and Algorithmic Model Theory
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 9835667-n
Compra nuovo
EUR 81,79
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Finite and Algorithmic Model Theory
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 356 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand. Codice articolo __0521718201
Compra nuovo
EUR 86,76
Spedizione EUR 14,45
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Finite and Algorithmic Model Theory: 379 (London Mathematical Society Lecture Note Series, Series Number 379)
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: 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. . . . . Codice articolo V9780521718202
Compra nuovo
EUR 93,71
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili