Login / Signup
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read.
Yamine Aït Ameur
J. Paul Gibson
Dominique Méry
Published in:
ISoLA (2) (2014)
Keyphrases
</>
complex systems
software engineering
knowledge based systems
artificial intelligence
case study
theorem proving
databases
information systems
programming language
key issues
default reasoning
technical issues
book addresses