Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / Brigitte Pientka, Cesare Tinelli, editors.

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.

Saved in:

Bibliographic Details
Corporate Author:	International Conference on Automated Deduction Rome, Italy
Other Authors:	Pientka, Brigitte (Editor), Tinelli, C. (Cesare) (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2023.
Series:	Lecture notes in computer science. Lecture notes in artificial intelligence. Lecture notes in computer science ; 14132. LNCS sublibrary. Artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Automatic theorem proving Logic, Symbolic and mathematical proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

Similar Items

Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings
Published: (2021)

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published: (2022)

Automated theorem proving : after 25 years
Published: (1984)

Automated technology for verification and analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, proceedings
Published: (2022)

Automated reasoning with analytic tableaux and related methods : 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings
Published: (2021)

Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part I
Published: (2023)

Automated theorem proving : after 25 years
Published: (1984)

Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings
Published: (2021)

Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part II
Published: (2023)

Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published: (2023)

First-Order Logic and Automated Theorem Proving
by: Fitting, Melvin
Published: (1996)

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

Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology
by: Löh, Clara
Published: (2022)

Proof technology and computation
Published: (2006)

Mechanical theorem proving in geometries : basic principles
by: Wu, Wen-tsün
Published: (1994)

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I
Published: (2020)

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II
Published: (2020)

Formal analysis of future energy systems using interactive theorem proving
by: Ahmed, Asad, et al.
Published: (2022)

Geometric reasoning
Published: (1989)

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

Communication complexity : a new approach to circuit depth
by: Karchmer, Mauricio
Published: (1989)

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
Published: (2020)

Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics
by: Halbeisen, Lorenz, et al.
Published: (2020)

Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
by: Mostowski, Andrzej
Published: (1952)

An engineer's guide to automated testing of high-speed interfaces
by: Moreira, José, 1975-, et al.
Published: (2016)

Language and godels theorem : a revised edition.
by: Tice, Bradley S.
Published: (2012)

Undecidability, uncomputability, and unpredictability
Published: (2021)

Gödel's proof
by: Nagel, Ernest, 1901-1985
Published: (2005)

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Published: (1999)

Intuition et déduction en mathématiques.
by: Leclercq, Bruno
Published: (2015)

Natural deduction, the logical basis of axiom systems
by: Anderson, John Mueller
Published: (1962)

Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.
by: Goncharov, S. S.
Published: (2006)

Formal concept analysis : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, proceedings
Published: (2023)

Formal concept analysis : 16th international conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings
Published: (2021)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Published: (2007)

Proceedings of the 12Th Asian Logic Conference.
by: Downey, R. G. (Rod G.)
Published: (2013)

Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings
Published: (2022)

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
Published: (2021)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Published: (2010)

Methods and Applications of Mathematical Logic.
by: Carnielli, Walter A.
Published: (1988)