Login / Signup
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16).
Yamine Aït Ameur
Shin Nakajima
Dominique Méry
Published in:
NII Shonan Meet. Rep. (2016)
Keyphrases
</>
data sets
building blocks
complex systems
neural network
natural language
domain knowledge
management system
formal semantics