Automated reasoning and its applications : essays in honor of Larry Wos
Author(s)
Bibliographic Information
Automated reasoning and its applications : essays in honor of Larry Wos
The MIT Press, 1997
Available at / 16 libraries
-
No Libraries matched.
- Remove all filters.
Note
"Bibliography of Larry Wos": p. [235]-241
Includes bibliographical references and index