Cargando…

20th International Conference on Theorem Proving in Higher Order Logics

Detalles Bibliográficos
Lenguaje:	eng
Publicado:	2007
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/1050325

Ejemplares similares

First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990)

Theorem proving with first-order predicate logic, 3
por: Humpert, Benedikt
Publicado: (1987)

Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969)

Symbolic logic and mechanical theorem proving
por: Chang Chin Liang, et al.
Publicado: (1973)

Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
por: Avigad, Jeremy, et al.
Publicado: (2018)

Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings
por: Urban, Christian, et al.
Publicado: (2015)

Conditional and preferential logics: proof methods and theorem proving
por: Pozzato, GL
Publicado: (2010)

Subsumption Demodulation in First-Order Theorem Proving
por: Gleiss, Bernhard, et al.
Publicado: (2020)

Automation in language translation and theorem proving: some applications of mathematical logic
por: Van Scheepen, Francs, et al.
Publicado: (1968)

15th international conference on Inductive Logic Programming
por: Kramer, Stefan, et al.
Publicado: (2005)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
por: Dalmonte, Tiziano, et al.
Publicado: (2020)

17th International Conference on Field Programmable Logic and Applications
Publicado: (2007)

27th International Conference on Field Programmable Logic and Applications (FPL)
por: Santambrogio, Marco, et al.
Publicado: (2017)

Partial symmetry, equivalence theorems and calculation of higher orders in non-renormalizable field theories
por: Filippov, A T
Publicado: (1969)

Automated theorem proving: theory and practice
por: Newborn, Monty
Publicado: (2001)

20th International Conference on Noice and Fluctuations
por: Collective
Publicado: (2009)

20th International Joint Conference on Artificial Intelligence
Publicado: (2007)

Inductive logic programming: 25th international conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, revised selected papers
por: Inoue, Katsumi, et al.
Publicado: (2016)

Learning-assisted theorem proving with millions of lemmas()
por: Kaliszyk, Cezary, et al.
Publicado: (2015)

A Comprehensive Framework for Saturation Theorem Proving
por: Waldmann, Uwe, et al.
Publicado: (2020)

A Comprehensive Framework for Saturation Theorem Proving
por: Waldmann, Uwe, et al.
Publicado: (2022)

A generalization of Nash's theorem with higher-order functionals
por: Hedges, Julian
Publicado: (2013)

16th EACSL Annual Conference on Computer Science and Logic
Publicado: (2007)

20th International Conference on X-ray and Inner-Shell Processes
Publicado: (2005)

20th International Conference on Atomic Physics: Quantum Optics and Spectroscopy
por: Roos, Christian, et al.
Publicado: (2006)

20th International Conference on Ultra-Relativistic Nucleus-Nucleus Collisions
por: Alam, Jan E, et al.
Publicado: (2008)

5th International Workshop on Fuzzy Logic and Applications
por: Di Gesù, Vito, et al.
Publicado: (2006)

6th International Workshop on Fuzzy Logic and Applications
por: Bloch, Isabelle, et al.
Publicado: (2006)

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
por: Babikian, Aren A., et al.
Publicado: (2020)

Formal reasoning about systems biology using theorem proving
por: Rashid, Adnan, et al.
Publicado: (2017)

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
por: Ullrich, Sebastian, et al.
Publicado: (2020)

20th ACM National Conference
por: Winner, L
Publicado: (1965)

International Conference on Topology in Ordered Phases
Publicado: (2005)

13th International Congress of Logic Methodology and Philosophy of Science
Publicado: (2007)

The Shannon–McMillan Theorem Proves Convergence to Equiprobability of Boltzmann’s Microstates
por: Spalvieri, Arnaldo
Publicado: (2021)

12th International Conference
por: Sadao Nakai, Sado
Publicado: (1996)

32nd International Conference on Field-Programmable Logic and Applications (FPL 2022)
por: Collective
Publicado: (2022)

Advances in non-integer order calculus and its applications: proceedings of the 10th international conference on non-integer order calculus and its applications
por: Malinowska, Agnieszka B, et al.
Publicado: (2019)

20th International Symposium on Superconductivity
Publicado: (2007)

4th International Conference on Quantitative Logic and Soft Computing
por: Fan, Tai-He, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_8hfgornntp2jl92fs2rulgkdn1