Sign in

The Gauge Integral Theory in HOL4.

Zhiping ShiWeiqing GuXiaojuan LiYong GuanShiwei YeJie ZhangHongxing Wei
Published in: J. Appl. Math. (2013)
Keyphrases
  • theoretical basis
  • computational model
  • formal methods
  • data mining
  • information systems
  • relational databases
  • databases
  • artificial intelligence
  • special case
  • higher order
  • theorem prover
  • general theory
  • formal theory