Loading...
Logic for computer science : Foundations of Automatic Theorem proving/
Main Author: | |
---|---|
Format: | Printed Book |
Language: | English |
Published: |
John Wiley & Sons,
1987.
|
Search Result 1
Search Result 2
Search Result 3