hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
hardcover. Condizione: Fine.
Lingua: Inglese
Editore: Center for the Study of Language and Inf, 1996
ISBN 10: 1575860244 ISBN 13: 9781575860244
Da: SHIMEDIA, Brooklyn, NY, U.S.A.
Condizione: New. Satisfaction Guaranteed or your money back.
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
EUR 87,68
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 114,14
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 104,77
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Center for the Study of Language and Inf, 1996
ISBN 10: 1575860244 ISBN 13: 9781575860244
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
EUR 107,57
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 104,76
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 119,98
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New.
EUR 124,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 117,16
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 117,16
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 117,15
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 132,74
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 117,08
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
EUR 130,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Kluwer Academic Publishers, 1996
ISBN 10: 079234345X ISBN 13: 9780792343455
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 134,08
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: 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. . . . .
Condizione: New. pp. 256.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 85,01
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 attention. It isthis aspect oflogicwhichis mostprominentin model theory,'thebranchof mathematical logic which deals with the relation between a formal language and its interpretations'. No wonder, then, that mathematical logic, and nite model theory in particular, should nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of nite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and arti cial intelligence, es- cially constraint databases and constraint satisfaction problems. The nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with nite model theory.
Condizione: New. pp. 256.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2007
ISBN 10: 3540004289 ISBN 13: 9783540004288
Da: Revaluation Books, Exeter, Regno Unito
EUR 145,41
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 100,94
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 attention. It isthis aspect oflogicwhichis mostprominentin model theory,'thebranchof mathematical logic which deals with the relation between a formal language and its interpretations'. No wonder, then, that mathematical logic, and nite model theory in particular, should nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of nite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and arti cial intelligence, es- cially constraint databases and constraint satisfaction problems. The nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with nite model theory.
EUR 95,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Multi-Dimensional Modal Logic | Maarten Marx (u. a.) | Taschenbuch | Applied Logic Series | xiii | Englisch | 2013 | Springer | EAN 9789401064019 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Kluwer Academic Publishers, 1996
ISBN 10: 079234345X ISBN 13: 9780792343455
Da: Kennys Bookstore, Olney, MD, U.S.A.
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.
EUR 112,77
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.) This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 86,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2014
ISBN 10: 3642438601 ISBN 13: 9783642438608
Da: moluna, Greven, Germania
EUR 68,58
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to the central topics in finite-model theory together with par-excellence applications of finite-model theory to database theory and AIAn introduction to the central topics in finite-model theory together with par-excellence ap.
Da: Majestic Books, Hounslow, Regno Unito
EUR 123,29
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.