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