Computational logic: the unification computation

Feb-1-1971–Classics/files/AI/classics/Machine Intelligence 6/MI6-Ch4-Robinson.pdf

Given P {P1,.. P„} as input, set j 0, 00 8 (the identity substitution),

artificial intelligence, expression, logic & formal reasoning, (19 more...)

Feb-1-1971

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.84)

Duplicate Docs Excel Report

Title
4 Computational Logic: The Unification Computation J. A. Robinson

Similar Docs Excel Report more

Title	Similarity	Source
None found