Login / Signup
Bipartitions et équations linéaires.
Daniel Goossens
Published in:
JFPLC (2003)
Keyphrases
</>
special case
situation calculus
logic programs
knowledge base
general purpose
loop formulas
search methods