Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

330 p.

Saved in:

書目詳細資料
主要作者:	Hutchison, David
格式:	圖書
語言:	English
出版:	Springer 2017
主題:	Automatic theorem proving > Congresses ; Automatic theorem proving 004.01
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/26848
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Automated Technology for Verification and Analysis
出版: (2017)

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
出版: (2017)

An unfold/fold transformation framework for definite logic programs
由: Roychoudhury, A., et al.
出版: (2013)

Smart Sensing and Context
出版: (2017)

A verification system for interval-based specification languages
由: Chen, C., et al.
出版: (2013)

A verification system for timed interval calculus
由: Chen, C., et al.
出版: (2013)

Reasoning about Semantic Web in Isabelle/HOL
由: Tang, Y., et al.
出版: (2013)

A verification system for timed interval calculus
由: CHEN, Chunqing, et al.
出版: (2008)

Corner edge cutting and Dixon A-resultant quotients
由: Foo, M.-C., et al.
出版: (2013)

Modeling of the effect of relative humidity and temperature on proving rate of rice-flour-based dough
由: Therdthai, N., et al.
出版: (2014)

AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC
由: TA QUANG TRUNG
出版: (2018)

Applied proof theory : proof interpretations and their use in mathematics
由: Kohlenbach, U.
出版: (2017)

Enhancing program verification with lemmas
由: Nguyen, H.H., et al.
出版: (2013)

A generalization of an addition theorem of Kneser
由: Hou, X.-D., et al.
出版: (2014)

A geometric method for singular c-optimal designs
由: Fan, S.K., et al.
出版: (2014)

SOME RESULTS ABOUT HINDMAN'S THEOREM AND GOWERS' THEOREM IN REVERSE MATHEMATICS.
由: LIAO YUKE
出版: (2023)

Deontic Logic in Computer Science
出版: (2017)

A generalization of cohen's theorem
由: Nguyen, Trong Bac, 1986-
出版: (2023)

On Martin's pointed tree theorem
由: Hölzl R., et al.
出版: (2020)

Improvements in System Safety
出版: (2017)

Riesz Representation Theorem for G-Integrable Distributions
由: Gealone, Aries
出版: (2020)

Analysis of Martin-Harrington Theorem in Higher Order Arithmetic
由: CHENG YONG
出版: (2013)

A Kruskal-Katona type theorem for integer partitions
由: Ku, C.Y., et al.
出版: (2014)

Completeness theory for propositional logics
由: Pogorzelski, Witold ; Wojtylak, Piotr
出版: (2017)

Application of sonie-schafheitlin formula and sampling theorem in spectral-domain method
由: Ooi, B.-L., et al.
出版: (2014)

Increasing function theorem an alternative for the mean value theorem
由: Aguilar, Roberto A., et al.
出版: (1998)

Levin's comparison theorems for nonlinear second order differential equations
由: Agarwal, R.P., et al.
出版: (2014)

A proof of the continuity theorem for characteristic functions
由: Sadooghi-Alvandi, S.M.
出版: (2011)

Vinogradov's theorem and its generalization on primes in arithmetic progression
由: WONG WEI PIN
出版: (2010)

On modified farey trees and pthagorean triples
由: Dael, Manell Jia P., et al.
出版: (2016)

Central limit theorems of sums of powers of function of independent random variables
由: Kittipong Laipaporn, 1976
出版: (2007)

The central limit theorem for weighted minimal spanning trees on random points
由: Kesten, H., et al.
出版: (2014)

Advanced Autonomic Networking and Communication
出版: (2017)

On the divergence theorem on manifolds
由: Boonpogkrong, V., et al.
出版: (2014)

On the Hahn - Decomposition and the Radon - Nikodym Theorem for Submeasures in Rd
由: Le, Xuan Son, et al.
出版: (2017)

Modularity of rational elliptic curves and Fermat's last theorem
由: Dris, Jose Arnaldo Bebita, et al.
出版: (2000)

Higher-order fluctuations in dense random graph models
由: Kaur, Gursharn, et al.
出版: (2022)

On the mean value theorem and inequality
由: Garcia, Remilina R., et al.
出版: (1997)

Automata on ordinals and automaticity of linear orders
由: Schlicht, P., et al.
出版: (2014)

Automatic models of first order theories
由: Semukhin, P., et al.
出版: (2014)