Login / Signup
Computing Properties of Numerical Imperative Programs by Symbolic Computation.
Jacques Carette
Ryszard Janicki
Published in:
Fundam. Informaticae (2007)
Keyphrases
</>
imperative programs
dynamic logic
real time
plan execution
data sets
neural network
search engine
information systems
xml documents
logic programming