Login / Signup
Primitives and Units for Time Specification.
Peter B. Ladkin
Published in:
AAAI (1986)
Keyphrases
</>
high level
formal specification
neural network
formal methods
specification language
information retrieval
learning algorithm
image processing
data structure
user interface