A computational logic handbook
Author(s)
Bibliographic Information
A computational logic handbook
(Academic Press international series in formal methods)
Academic Press, c1998
2nd ed.
Available at / 6 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index