Login / Signup
Sur deux langages linéaires.
Michel Latteux
Published in:
Theoretical Computer Science (1979)
Keyphrases
</>
special case
situation calculus
orders of magnitude
pattern matching
semi automatic
constraint satisfaction