募捐 9月15日2024 – 10月1日2024 关于筹款

LNCS 4732 - Theorem Proving in Higher Order Logics...

  • Main
  • LNCS 4732 - Theorem Proving in Higher...

LNCS 4732 - Theorem Proving in Higher Order Logics (Frontmatter Pages)

Klaus Schneider & Jens Brandt [Klaus Schneider & Jens Brandt]
0 / 0
0 comments
你有多喜欢这本书？
下载文件的质量如何？
下载该书，以评价其质量
下载文件的质量如何？
Theorem Proving in Higher Order Logics
年:
2009
ISBN 10:
3540745904
ISBN 13:
9783540745907
文件:
LIT , 865 KB
IPFS:
CID , CID Blake2b
2009
线上阅读
正在转换
转换为 失败

关键词

 
function
theorem
variables
functions
context
isabelle
defined
memory
proofs
prove
lemma
verification
reasoning
springer
logical
heidelberg
lncs
definitions
formal
random
termination
step
proving
coq
induction
abstract
proved
algorithm
programs
correctness
cfg
inductive
define
systems
mizar
sexp
formalization
approach
finite
tactics
programming
hol2p
implementation
predicate
syntax
goal
analysis
execution
monad
hoare
assumption
expectation
consider
values
substitution
tac
acl2
corresponding
framework
stack