Ten Cate Balder (45 results)

Paperback. Condition: Wie neu. XII, 280 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 555.

Soft cover. Condition: As New. This book has been in storage since publication and is unread. Hence the description as new .

Condition: good. Book is considered to be in good or better condition. The actual cover image may not match the stock photo. Hard cover books may show signs of wear on the spine, cover or dust jacket. Paperback book may show signs of wear on spine or cover as well as having a slight bend, curve or creasing to it. Book should have minimal to no writing inside and no highlighting. Pages should be free of tears or creasing. Stickers should not be present on cover or elsewhere, and any CD or DVD expected with the book is included. Book is not a former library copy.…

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. 1st edition NO-PA16APR2015-KAP.

Condition: New. pp. xii + 281 1st Edition.

Condition: New.

Paperback. Condition: Brand New. 2007 edition. 282 pages. 9.00x6.00x0.75 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005.The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation and address the following topics in detail: modal logic, linguistics and typology, formal pragmatics, linguistics and formal pragmatics, semantics and pragmatics, linguistic, typology, semantics and pragmatics, linguistics, semantics and learnability, information and artificial intelligence, formal pragmatics and typology, linguistics, semantics and typology, as well as logic and linguistics.…

Paperback. Condition: Brand New. 152 pages. 9.00x6.00x0.50 inches. In Stock.

Condition: New. pp. 123.

Taschenbuch. Condition: Neu. Web Reasoning and Rule Systems | 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. | Balder Ten Cate (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2015 | Springer | EAN 9783319220017 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Logic, Language, and Computation | 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers | Balder D. ten Cate (u. a.) | Taschenbuch | xii | Englisch | 2007 | Springer | EAN 9783540751434 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: very good. Amsterdam : Institute for Logic, Language and Computation, cop. 2005. Paperback. v,210 pp. (ILLC dissertation series ; 2005-01). Thesis University of Amsterdam. Condition : very good copy. Keywords : LINGUISTICS.

Buch. Condition: Neu. Neuware - Craig Interpolation and Beth Definability have played a central role in modern logic since the mid-twentieth century. Originating in William Craig's and Evert Willem Beth's pioneering work, they provide fundamental tools for understanding logical systems and how information can be transferred, transformed, or restricted within formal languages. Their impact extends across proof theory, model theory, philosophical logic, and computer science, where they illuminate both the power and the limitations of logical systems.This volume brings together leading researchers to offer a comprehensive and contemporary account of developments in interpolation and definability. The chapters range from classical insights to recent advances, covering a wide spectrum of topics. Readers will find in-depth investigations of interpolation in modal and superintuitionistic logics, algebraic perspectives on definability, and constructive approaches grounded in proof systems. Several contributions examine uniform interpolation and forgetting, shedding light on how logical content can be systematically simplified without losing relevant consequences. Others explore the crucial role of interpolation in automated reasoning, model checking, database querying, and ontology engineering, where interpolants serve as abstractors, separators, and explainers.A major theme of the volume is the meeting point between theory and application. While the contributors develop sophisticated mathematical techniques, they also demonstrate how these ideas support practical algorithms used in verification, querying, automated reasoning, and knowledge representation.The volume also pays tribute to Larisa Maksimova, whose groundbreaking work on interpolation in nonclassical logics continues to guide and inspire research in the field. Her contributions resonate through the topics discussed and the methods employed by many of the authors.Accessible to graduate students yet rich in material for specialists, this book offers an authoritative overview of Craig Interpolation and Beth Definability. It presents a broad and evolving research landscape, demonstrating how classical concepts remain essential in addressing contemporary questions about logical inference, expressiveness, and computation.…

Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Condition: new. Questo è un articolo print on demand.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 submissions. The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest are: answer set programming, complex events, datalog, description logics, event-condition-action rules, information extraction, and logic programming. 152 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005.The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation and address the following topics in detail: modal logic, linguistics and typology, formal pragmatics, linguistics and formal pragmatics, semantics and pragmatics, linguistic, typology, semantics and pragmatics, linguistics, semantics and learnability, information and artificial intelligence, formal pragmatics and typology, linguistics, semantics and typology, as well as logic and linguistics. 282 pp. Englisch.…