Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

40

Bibliografske podrobnosti
Main Authors:	Kerber, Manfred, Kohlhase, Michael
Format:
Izdano:	Natick, Mass. : A. K. Peters, 2001
Teme:	Algebra Automatic theorem proving

Podobne knjige/članki

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings /
od: Namjoshi, Kedar S., et al.
Izdano: (2007)

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
od: ATVA 2008 (2008 : Seoul, Korea), et al.
Izdano: (2008)

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /
od: TABLEAUX 2007 (2007 : Aix en Provence, France), et al.
Izdano: (2007)

Automated theorem proving : a logical basis /
od: 403272 Loveland, Donald W.
Izdano: (1978)

A computational logic /
od: 403382 Boyer, Robert S., et al.
Izdano: (1979)

Symposium on Automatic Demonstration [proceedings] /
od: Symposium on Automatic Demonstration (1968 : Versailles, France), et al.
Izdano: (1970)

Symbolic logic and mechanical theorem proving /
od: 336504 Chang, Chin-Ling, et al.
Izdano: (1973)

Automated reasoning : introduction and applications /
od: Wos, Larry
Izdano: (1984)

Automated Deduction, Les Arcs, France, July 8-11, 1980 /
od: Conference on Automated Deduction, (5th : 1980 : Les Arcs), et al.
Izdano: (1980)

Automated reasoning : 33 basic research problems /
od: 227665 Wos, Larry
Izdano: (1988)

Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
od: International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), et al.
Izdano: (2007)

Logic for computer science : foundations of automatic theorem proving /
od: 455116 Gallier, Jean H.
Izdano: (1986)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
od: 183708 Bertot, Yves, et al.
Izdano: (2004)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
od: Chlipala, Adam, 1981-
Izdano: (2013)

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
od: TYPES `98 (2006 : Nottingham, UK), et al.
Izdano: (2007)

Proof technology and computation /
od: NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany), et al.
Izdano: (2006)

Theorem proving with analytic tableaux and related methods /
od: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), et al.
Izdano: (1995)

Globular: an online proof assistant for higher-dimensional rewriting
od: Vicary, J, et al.
Izdano: (2016)

Truth maintenance systems for problem solving.
od: Doyle, Jon
Izdano: (2007)

Formal modeling and analyzing method for database security policy
od: Rong WANG, et al.
Izdano: (2015-09-01)

A Recursive Inclusion Checker for Recursively Defined Subtypes
od: Hans De Nivelle
Izdano: (2021-12-01)

On the calculus of positively constructed formulas for authomated theorem proving
od: A. V. Davydov, et al.
Izdano: (2010-12-01)

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /
od: Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), et al.
Izdano: (2007)

Observations on Cognitive Judgments
od: McAllester, David
Izdano: (2004)

MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems
od: Mohamed Hadj Kacem, et al.
Izdano: (2021-08-01)

New Andrews–Curtis trivializations for Miller–Schupp group presentations
od: Alexei Lisitsa
Izdano: (2024-12-01)

Intelligent computer mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008 : proceedings /
od: AISC 2008 (2008 : Birmingham, England), et al.
Izdano: (2008)

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 /
od: International Symposium ISSAC '88 (1988 : Rome, Italy)
Izdano: (1988)

Series and elementary algebra (1) [disket]
Izdano: (1989)

Natural Language Based Inference Procedures Applied to Schubert's Steamroller
od: Givan, Robert, et al.
Izdano: (2004)

On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
od: Artem Davydov, et al.
Izdano: (2024-03-01)

Grammar Rewriting
od: McAllester, David
Izdano: (2004)

Research on formal security policy model specification and its formal analysis
od: LI Li-ping1, et al.
Izdano: (2006-01-01)

Imbalance in the duality of criminal activity and its proving
od: A. Yu. Afanasyev
Izdano: (2024-12-01)

Fermat's last theorem : a genetic introduction to algebraic number theory /
od: 393488 Edwards, Harold M.
Izdano: (1977)

Symbolic and algebraic computation : proceedings/
od: International Symposium on Symbolic and Algebraic Manipulation; EUROSAM '79 (1979 : Marseille, France), et al.
Izdano: (1979)

Tractable Inference Relations
od: Givan, Robert, et al.
Izdano: (2004)

Deductive Verification of the Sliding Window Protocol
od: D. A. Chkliaev, et al.
Izdano: (2015-03-01)

Reasoning Utility Package User's Manual, Version One
od: McAllester, David Allen
Izdano: (2004)

Algebraic number theory and Fermat's last theorem /
od: Stewart, Ian, 1945-, et al.
Izdano: (c200)