Login / Signup
What is a (non-constructive) non-monotone logical system?
Philippe Besnard
Torsten Schaub
Published in:
Theor. Comput. Sci. (2000)
Keyphrases
</>
upper bound
boolean functions
logical representation
multimedia