Automated reasoning January 1992 Automatic theorem proving.; Artificial intelligence.; Computer programming. ISBN 007911251X View on Amazon Lists featuring this book (1)
