Baaz Matthias (122 results)

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: Very Good. - Minor shelfwear - ow Clean bright tight book 504 pages.

Paperback. Condition: New.

Condition: Very Good. Some minor shelf wear otherwise in a very good condition, content is excellent throughout.

Condition: New. In English.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: Very Good. Unused. A few light scratches and minor shelf wear on cover. Content is fine.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: Very Good. New/unused condition with small scuffs and scratches to the cover. The content is in new condition.

Condition: New. pp. 504.

Hardcover. Condition: Fine. No Jacket. 1st Edition. 486 pages. Hardcover without dust jacket as issued. Lecture Notes in Logic. A like new fine copy.

Condition: As New. Unread book in perfect condition.

Condition: New. In English.

Condition: New.

Hardcover. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 7-8 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condition: Brand New. illustrated edition. 496 pages. 8.75x6.00x1.25 inches. In Stock.

Condition: New.

Hardcover. Condition: Fine. First Edition. Hardback. Large 8vo. pp 540. 27 by 19 cms. Illustrated laminate boards issued without dust jacket. Fine.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Hardcover. Condition: new. Hardcover. A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The remaining articles cover seperate research topics in many areas of mathematical logic, including applications in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy. This collection will be of interest not only to specialists in mathematical logic, but also to philosophical logicians, historians of logic, computer scientists, formal linguists and mathematicians in the areas of algebra, abstract analysis and topology. A number of the articles are aimed at non-specialists and serve as good introductions for graduate students. A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Improving On-Demand Strategy Annotations.- First-Order Logic as a Constraint Programming Language.- Maintenance of Formal Software Developments by Stratified Verification.- A Note on Universal Measures for Weak Implicit Computational Complexity.- Extending Compositional Message Sequence Graphs.- Searching for Invariants Using Temporal Resolution.- Proof Planning for Feature Interactions: A Preliminary Report.- An Extension of BDICTL with Functional Dependencies and Components.- Binding Logic: Proofs and Models.- Directed Automated Theorem Proving.- A Framework for Splitting BDI Agents.- On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.- Using BDDs with Combinations of Theories.- On Expressive Description Logics with Composition of Roles in Number Restrictions.- Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.- A Non-commutative Extension of MELL.- Procedural Semantics for Fuzzy Disjunctive Programs.- Pushdown Specifications.- Theorem Proving with Sequence Variables and Flexible Arity Symbols.- Games, Probability, and the Quantitative -Calculus qM .- Parallelism and Tree Regular Constraints.- Gödel Logics and Cantor-Bendixon Analysis.- A Semantics for Proof Plans with Applications to Interactive Proof Planning.- An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.- Proof Development with MEGA: 2 Is Irrational.- A Local System for Linear Logic.- Investigating Type-Certifying Compilation with Isabelle.- Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.- Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.- Fuzzy Prolog: A Simple General Implementation Using (R).…

Condition: New. A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, this book includes surveys and research articles from some of the world's preeminent logicians. A number of the articles are aimed at non-specialists and serve as good introductions for graduate students. Editor(s): Baaz, Matthias; Friedman, Sy-David; Krajicek, Jan. Num Pages: 504 pages, figures. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 231 x 160 x 31. Weight in Grams: 774. . 2005. 1st Edition. hardcover. . . . .…

Condition: New.