A brief Introduction to First-Order Logic Unification at the example of Corbin and Bidoit's variation of Robinson's Unification Algorithm | fatcat!

by Johannah Sprinz

References

NOTE: currently batch computed and may include additional references sources, or be missing recent changes, compared to entity reference list.

Read more about quality, completeness, and caveats in the fatcat guide.

Showing 0 references (in 83ms)
No References Found
JSON