Yde venema (46 risultati)
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Books From California, Simi Valley, CA, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 67,56
EUR 4,44 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
hardcover. Condizione: Fine.
Lingua: Inglese
Editore: Cambridge University Press, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 120,99
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 117,05
EUR 6,18 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
paperback. Condizione: New. In shrink wrap. Looks like an interesting title.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 126,16
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 126,57
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 116,57
EUR 13,39 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Lingua: Inglese
Editore: Cambridge University Press, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 130,14
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Finite Model Theory and Its Applications
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Lingua: Inglese
Editore: Springer, 2014
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 128,45
EUR 3,55 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 134,77
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 130,29
EUR 11,11 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 124,84
EUR 17,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 125,63
EUR 17,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 130,35
EUR 13,39 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 139,39
EUR 6,18 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 134,08
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New. Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. This book treats multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. Series: Applied Logic Series. Num Pages: 239 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 1190. . 1996. Hardback. . . . .…
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 146,35
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 131,86
EUR 17,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 137,25
EUR 13,39 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 148,87
EUR 3,55 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. xiii + 437 1st Edition.
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 155,72
EUR 3,55 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 256.
Lingua: Inglese
Editore: Cambridge University Press, GB, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 161,14
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.…
- Rilegato
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 159,09
EUR 3,55 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 256.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 148,42
EUR 14,82 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.
Logic in action.
Benthem, Johan F A K van, Paul Dekker, Jan van Eijck, Maarten de Rijke & Yde Venema.
Editore: Universiteit Van Amsterdam, 2001
- Brossura
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi BassiKloof Booksellers & Scientia Verlag
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 38,95
EUR 30,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibile
Condizione: very good. Amsterdam : University of Amsterdam, 2001. Paperback. 153 p. ; 24 cm. Condition : very good copy. ISBN 9789057760778. Keywords : LINGUISTICS, Logic programming languages.
Lingua: Inglese
Editore: Cambridge University Press CUP, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 170,45
EUR 3,55 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 578.
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 172,52
EUR 9,34 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New. Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. This book treats multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. Series: Applied Logic Series. Num Pages: 239 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 1190. . 1996. Hardback. . . . . Books ship from the US and Ireland.…
Lingua: Inglese
Editore: Cambridge University Press, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 173,45
EUR 17,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 196,71
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, GB, 2002
Serie: Libro 1 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,39
EUR 77,09 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.…
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 249,20
EUR 29,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: New. New .Ships From Multiple Locations. book.
