Automated reasoning : essays in honor of Woody Bledsoe
Author(s)
Bibliographic Information
Automated reasoning : essays in honor of Woody Bledsoe
(Automated reasoning series, v. 1)
Kluwer Academic Publishers Group, c1991
Available at / 13 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes index