Login / Signup
Program Verification: a 70+- Year History.
Moshe Y. Vardi
Published in:
TASE (2021)
Keyphrases
</>
multi agent
real world
artificial intelligence
knowledge discovery