A fascinating country in the world of computing : your guide to automated reasoning
Author(s)
Bibliographic Information
A fascinating country in the world of computing : your guide to automated reasoning
World Scientific, c1999
Available at / 4 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index