Login / Signup
Quantifiers on Demand.
Arie Gurfinkel
Sharon Shoham
Yakir Vizel
Published in:
CoRR (2021)
Keyphrases
</>
cloud computing
first order logic
natural language
real time
high quality
sensor networks