Symbolic logic and mechanical theorem proving /

Symbolic logic and mechanical theorem proving /

41

Bibliographic Details
Main Authors:	336504 Chang, Chin-Ling, Lee, Char-Tung, Richard
Format:
Published:	New York : Academic Press, 1973
Subjects:	Logic, Symbolic and mathematical Automatic theorem proving

Similar Items

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

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)

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

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)

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

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

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

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems
by: Zheng Yang, et al.
Published: (2018-01-01)

Conditional and preferential logics : proof methods and theorem proving /
by: 518526 Pozzato, Gian Luca
Published: (c201)

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)

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 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)

Pengembangan Perangkat Pembelajaran Geometri Ruang dengan Model Proving Theorem
by: Bambang Eko Susilo, et al.
Published: (2016-03-01)

Combining logical and distributional methods in type-logical grammars
by: Richard Moot
Published: (2019-03-01)

Theorem proving [kasetvideo]
Published: (1969)

Theorem proving [filem]
Published: (1969)

Another look at automated theorem-proving
by: Koblitz Neal
Published: (2007-12-01)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1973)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1979)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1954)

Symbolic logic /
by: 389685 Grunberg, Teo
Published: (1972)

Symbolic logic /
by: 372615 Jacquette, Dale
Published: (2001)

An introduction to symbolic logic /
by: 200716 Langer, Susanne Katherina
Published: (1967)

Introduction to symbolic logic /
by: 197411 Pullum, Laura L.
Published: (1969)

Introduction to symbolic logic /
by: 389591 Basson, A. H., et al.
Published: (1957)

Introduction to symbolic logic /
by: 386873 Smith, Karl J.
Published: (1974)

Introduction to symbolic logic /
by: 386873 Smith, Karl J.
Published: (1991)

Understanding symbolic logic /
by: 286788 Klenk, Virginia
Published: (1983)

Didactical Transposition within Reflective Practice of an Indonesian Mathematics Teacher Community: A Case in Proving the Pythagorean Theorem Topic
by: Rudi Rudi, et al.
Published: (2022-03-01)

Dictionary of symbols of mathematical logic /
by: Feys, Robert, et al.
Published: (1973)

Symbolic logic and the game of logic /
by: 389608 Carrol, Lewis
Published: (1958)

Dictionary of logical terms and symbols /
by: 270235 Greenstein, Carol Horn
Published: (1977)

The mathematics of logic : a guide to completeness theorems and their applications /
by: 186853 Kaye, Richard
Published: (2007)

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving
by: Yassmeen Elderhalli, et al.
Published: (2019-01-01)

Formal analysis of 2D image processing filters using higher-order logic theorem proving
by: Adnan Rashid, et al.
Published: (2022-06-01)

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

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

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

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 coach III plus : symbolic logic / [cakera padat]
by: 194067 Pole, Nelson, et al.
Published: (2001)