William McCune

William Walker McCune (December 17, 1953 – May 2, 2011) was an American computer scientist and logician working in the fields of automated reasoning, algebra, logic, and formal methods. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'McCune, William', query time: 0.01s Refine Results
  1. 1
    Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings /
    Published 1997
    Other Authors: “…McCune, William…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search