Automated Deduction, Les Arcs, France, July 8-11, 1980 /

Automated Deduction, Les Arcs, France, July 8-11, 1980 /

57

Bibliographic Details
Main Authors:	Conference on Automated Deduction, (5th : 1980 : Les Arcs), Bibel, W., 1938-, Kowalski, Robert
Format:
Published:	Berlin : Springer-Verlag, 1980
Subjects:	Automatic theorem proving Proof theory

Similar Items

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

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

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

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

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

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

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

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
by: Kerber, Manfred, et al.
Published: (2001)

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

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

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

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

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

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root
by: Vassil Todorov, et al.
Published: (2019-12-01)

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

Automated reasoning : introduction and applications /
by: Wos, Larry
Published: (1984)

Automated reasoning : 33 basic research problems /
by: 227665 Wos, Larry
Published: (1988)

High School Students’ Performances on Proof Comprehension Tests
by: Burcak Boz Yaman Boz Yaman, et al.
Published: (2018-05-01)

„Beweisgrund“
by: Robert Theis
Published: (2024-12-01)

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

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

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

Logic II - proof [filem]
Published: ([n.d)

Logic II : proof [kasetvideo]
Published: ([19-)

Truth maintenance systems for problem solving.
by: Doyle, Jon
Published: (2007)

ISSUES OF THE COMPLETENESS OF THE SUBJECT OF CIRCUMSTANCES IN PROOF IN THE THEORY AND PRACTICE OF THE CRIMINAL PROCEDURE
by: D. N. Rogozhkin
Published: (2013-06-01)

Tractable Inference Relations
by: Givan, Robert, et al.
Published: (2004)

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

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

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

Observations on Cognitive Judgments
by: McAllester, David
Published: (2004)

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

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

On Euler’s lemma
by: Juozas Juvencijus Mačys
Published: (2023-09-01)

Teleolojik Argüman’ın Bayes Teoremiyle İmtihanı: Wesley Salmon’un Argümanına İlişkin Bir Değerlendirme
by: İbrahim Yıldız
Published: (2022-11-01)

THE DIFFERENT ROLES OF DEDUCTION IN COMMUNICATION
by: Tomáš Čana
Published: (2025-03-01)

The role of modern scientific evidences in criminal proving in Iraqi law
by: Anwer Qader
Published: (2024-11-01)

Collecting facts and burden of proof in administrative procedure
by: Milkov Dragan L., et al.
Published: (2024-01-01)

CRITERIA OF PROVING DIGITAL CRIMES WITH THE USE OF MOBILE APPLICATIONS. FEATURES OF EXEMPTION
by: M. S. Sergeyev
Published: (2016-06-01)

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