Login / Signup
Reasoning About Partial Contracts.
Shaun Azzopardi
Albert Gatt
Gordon J. Pace
Published in:
JURIX (2016)
Keyphrases
</>
formal theory
qualitative reasoning
supply chain
relational databases
spatial reasoning
search algorithm
moral hazard
recursive functions
search space
databases
multiscale
database systems
case study
metadata
computer vision
genetic algorithm
information retrieval