A Computational Logic

Robert S. Boyer

published: 1979
publisher: Academic Press
pages: 397
language: EN
ISBN: 9780121229504

automatic theorem proving
logic, symbolic and mathematical

progress

0%