Sign in

Semantical Analysis of Specification Logic, 2

Peter W. O'HearnRobert D. Tennent
Published in: Inf. Comput. (1993)
Keyphrases
  • classical logic
  • multiscale
  • data analysis
  • programming language
  • database
  • real time
  • machine learning
  • genetic algorithm
  • logic programming
  • statistical analysis
  • formal methods
  • automated reasoning