Venema yde (49 risultati)

hardcover. Condizione: Fine.

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.

Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Hardcover. Condizione: Very Good. VERY GOOD hardcover, no marks in text; a clean, very gently used copy. Book.

Condizione: New. In.

Condizione: New.

paperback. Condizione: New. In shrink wrap. Looks like an interesting title.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New. In.

Condizione: New. In.

Condizione: New.

Condizione: New.

Condizione: New.

Hardback. Condizione: New. 2007 ed. This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.…

Condizione: New. In.

Condizione: New. pp. xiii + 437 1st Edition.

hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.

Condizione: New. pp. 256.

Condizione: As New. Unread book in perfect condition.

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. . . . .…

Condizione: New. pp. 256.

Hardcover. Condizione: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.

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.…

Condizione: New. pp. 578.

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.…

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Hardback. Condizione: New. 2007 ed. This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.…