Login / Signup
Tableau Method with Free Variables for Intuitionistic Logic.
Boris Konev
Alexander V. Lyaletski
Published in:
Intelligent Information Systems (2006)
Keyphrases
</>
artificial intelligence
expert systems
rough sets
description logics