Solving equations in abstract algebras: A rule-based survey of unification

Feb-1-1991–Classics

To cite or link to this reference: http://hdl.handle.net/10068/43975

artificial intelligence, rule-based survey, vandoeuvre-le-nancy, (8 more...)

Feb-1-1991

Classics Web Page

Country:
- Europe > France > Grand Est > Meurthe-et-Moselle > Nancy (0.26)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Rule-Based Reasoning (0.45)