Login / Signup

Non-Standard Algorithmic and Dynamic Logic.

Ana Pasztor
Published in: J. Symb. Comput. (1986)
Keyphrases
  • dynamic logic
  • real time
  • neural network
  • reasoning about actions
  • website
  • general purpose