Neil C. A. Moore is an author at University of St Andrews specializing in automated reasoning, engineering, and logic programming.
Publications per year
2001–2010
2
2
Computing stable models in parallel
Raphael A. Finkel, Victor W. Marek, Neil C. A. Moore et al. · 2001 · 25 citations
Rows per page
1–2 of 2