Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
Author(s)
Bibliographic Information
Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
（IFIP transactions, A . Computer science and technology ; 19）
North-Holland, 1992
Available at / 15 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Beijing||1992.793020238
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
