Matthias baaz (24 Ergebnisse)

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

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

Zustand: New. In English.

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

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

Zustand: New. In English.

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

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

Taschenbuch. Zustand: 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).…

Zustand: New. Matthias Baaz, Institute for Discrete Mathematics and Geometry, Vienna University of Technology. Sy-David Friedman, Kurt Godel Research Center for Mathematical Logic, University of Vienna. Jan Krajicek, Mathematical Institute, Academy of Sciences of the .

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Neuware - 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.…

Zustand: 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. . . . . Books ship from the US and Ireland.…

Zustand: New. Matthias Baaz, Institute for Discrete Mathematics and Geometry, Vienna University of Technology. Sy-David Friedman, Kurt Godel Research Center for Mathematical Logic, University of Vienna. Jan Krajicek, Mathematical Institute, Academy of Sciences of the .

Zustand: New. This volume commemorates the life, work and foundational views of Kurt Godel by exploring the impact of his work and its future implications. Editor(s): Baaz, Matthias; Papadimitriou, Christos H.; Putnam, Hilary W.; Scott, Dana S.; Harper, Charles L., Jr. Num Pages: 540 pages, 22 b/w illus. 1 table. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 253 x 178 x 28. Weight in Grams: 976. . 2014. Paperback. . . . . Books ship from the US and Ireland.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Hardcover. Zustand: Brand New. illustrated edition. 496 pages. 9.00x6.25x1.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch'utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. Moreover, a complexity theoretic comparison of Gentzen's and Tait's methods is given.The core of the book centers around the cut-elimination method CERES (cut elimination by resolution) developed by the authors. CERES is based on the resolution calculus and radically differs from the reductive cut-elimination methods. The book shows that CERES asymptotically outperforms all reductive methods based on Gentzen's cut-reduction rules. It obtains this result by heavy use of subsumption theorems in clause logic. Moreover, several applications of CERES are given (to interpolation, complexity analysis of cut-elimination, generalization of proofs, and to the analysis of real mathematical proofs). Lastly, the book demonstrates that CERES can be extended to nonclassical logics, in particular to finitely-valued logics and to G'odel logic.…

Zustand: New. In English.

Zustand: New. This volume commemorates the life, work and foundational views of Kurt Godel by exploring the impact of his work and its future implications. Editor(s): Baaz, Matthias; Papadimitriou, Christos H.; Putnam, Hilary; Scott, Dana S.; Harper, Charles L., Jr. Num Pages: 540 pages, 22 b/w illus. 1 table. BIC Classification: PBC; PBX. Category: (P) Professional & Vocational. Dimension: 263 x 188 x 30. Weight in Grams: 115. . 2011. Illustrated. hardcover. . . . . Books ship from the US and Ireland.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers. …