Automated Theorem Proving: After 25 Years

Publisher Website

1 January 1984

book
Published by American Mathematical Society (AMS) in Contemporary Mathematics

https://doi.org/10.1090/conm/029

Abstract

No abstract available

This publication has 0 references indexed in Scilit: