Sign in

Machine Instruction Syntax and Semantics in Higher Order Logic.

Neophytos G. MichaelAndrew W. Appel
Published in: CADE (2000)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • conditional logic
  • logical framework
  • inference rules
  • artificial intelligence
  • feature selection
  • multimedia
  • software engineering
  • belief revision
  • maximum entropy