Login / Signup

Applications of Many-Sorted Robinson Consistency Theorem.

Daniele Mundici
Published in: Math. Log. Q. (1981)
Keyphrases
  • von neumann
  • metadata
  • temporal consistency
  • artificial intelligence
  • evolutionary algorithm
  • consistency checking