A brief Introduction to First-Order Logic Unification at the example of Corbin and Bidoit's variation of Robinson's Unification Algorithm
release_b2graaepdfhn7ayluo45gholyu
Johannah Sprinz
(Sprinz, Johannah)
author |