Login / Signup
Inter-program Properties.
Andrei Voronkov
Iman Narasamdya
Published in:
SAS (2009)
Keyphrases
</>
desirable properties
imperative programs
structural properties
artificial intelligence
case study
wide range
multi agent systems
logic programming
computer programs