Computation as logic
Author(s)
Bibliographic Information
Computation as logic
(Prentice-Hall International series in computer science)
Masson , Prentice Hall, c1993
- Other Title
-
Logique, réduction, résolution
Available at / 19 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index