Login / Signup
A Formula Circumscriptively both Valid and Unprovable.
Philippe Besnard
Jean Houdebine
Raymond Rolland
Published in:
ECAI (1988)
Keyphrases
</>
database
data sets
artificial intelligence
website
mobile robot