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