Automated Theorem Proving: A Logical Basis

by

  • Publisher: North Holland
  • Print ISBN: 9780720404999, 0720404991

  • eText ISBN: 9781483296777, 1483296776

  • Copyright year: 1978