Concepedia
1
Publications
78
Citations
H-Index
1983
Active since
Jacques Corbin is an author specializing in automated reasoning, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated Reasoning
Publications per year
1983–1983
A Rehabilitation of Robinson's Unification Algorithm.
Jacques Corbin, Michel Bidoit · IFIP Congress · 1983 · 78 citations
Computational Logic, Engineering, Automated Reasoning +5
Rows per page
1–1 of 1