Word Unification and Trasformation of Generalized Equations

Authors
K.U.Schulz
Citation
K.u.schulz, Word Unification and Trasformation of Generalized Equations, Journal of automated reasoning , 11(2), 1993, pp. 149-184
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
2
Year of publication
1993
Pages
149 - 184
Database
ACNP
SICI code