Generic Inference: A Unifying Theory for Automated Reasoning

  • Length: 484 pages
  • Publication Date: 2011-05-24
0 (0)