Alexander Leitsch – författare
Visar alla böcker från författaren Alexander Leitsch. Handla med fri frakt och snabb leverans.
15 produkter
Automated Model Building
Av Ricardo Caferra, Alexander Leitsch m. fl.
Inbunden, 2004
1636 kr
Lägg i varukorg
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought …
Automated Model Building
Av Nicolas Peltier, Alexander Leitsch m. fl.
E-bok, 2013
2111 kr
Lägg i varukorg
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought …
First-Order Schemata and Inductive Proof Analysis
Av Alexander Leitsch, David Michael Cerna m. fl.
Inbunden, 2026
1749 kr
Lägg i varukorg
Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-order inference systems. Based on general first-order schemata, the …
First-Order Schemata and Inductive Proof Analysis
Av Anela Lolic, David Michael Cerna m. fl.
E-bok, 2026
2274 kr
Lägg i varukorg
Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-order inference systems. Based on general first-order schemata, the …
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Av Rajeev Gore, Alexander Leitsch m. fl.
Häftad, 2001
1126 kr
Lägg i varukorg
The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - …
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Av Tobias Nipkow, Alexander Leitsch m. fl.
E-bok, 2003
1427 kr
Lägg i varukorg
Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Av Georg Gottlob, Alexander Leitsch m. fl.
Häftad, 1993
550 kr
Lägg i varukorg
The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and …
Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Av Georg Gottlob, Alexander Leitsch m. fl.
Häftad, 1997
550 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by …
Resolution Calculus
E-bok, 2012
718 kr
Lägg i varukorg
The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge of this course (a total of five two-hour lectures) con sisted in the selection of the topics to be …
Resolution Calculus
Häftad, 2011
550 kr
Lägg i varukorg
The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge of this course (a total of five two-hour lectures) con sisted in the selection of the topics to be …
Automated Model Building
Av Ricardo Caferra, Alexander Leitsch m. fl.
Häftad, 2010
1636 kr
Lägg i varukorg
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought …
Methods of Cut-Elimination
Av Matthias Baaz, Alexander Leitsch
Inbunden, 2011
1093 kr
Lägg i varukorg
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 …
Methods of Cut-Elimination
Av Alexander Leitsch, Matthias Baaz
E-bok, 2011
1413 kr
Lägg i varukorg
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 …
Methods of Cut-Elimination
Av Matthias Baaz, Alexander Leitsch
Häftad, 2013
1093 kr
Lägg i varukorg
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 …
