Logic for computer science : foundations of automatic theorem proving
Author(s)
Bibliographic Information
Logic for computer science : foundations of automatic theorem proving
J. Wiley, c1987
Available at / 14 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Includes index