First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

By
Melvin Fitting
Melvin Fitting
First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Type: Physical Book

Release Date: Unknown

ISBN 10: 1461275156

ISBN 13: 9781461275152