Handbook of Automated Reasoning

by

  • Publisher: North Holland
  • Print ISBN: 9780444508133, 0444508139

  • eText ISBN: 9780080532790, 0080532799

  • Pages: 2128