Concepedia

A Rehabilitation of Robinson's Unification Algorithm.

Jacques Corbin, Michel Bidoit

IFIP Congress · 1983 · 78 citations · 0 references

Concepts