Login / Signup
Pure Logic with Branched Quantifiers.
Marcin Mostowski
Published in:
Math. Log. Q. (1989)
Keyphrases
</>
logic programming
set theory
real world
modal logic
search algorithm
first order logic
computational properties
data sets
decision making
data structure
formal theory