Deduction Methods Based on Boolean Rings
Resource
the Proceedings of Fourteenth International Conference on Automated Deduction (CADE-14), July 1997
Journal
the Proceedings of Fourteenth International Conference on Automated Deduction (CADE-14), July 1997
Pages
-
Date Issued
1997
Date
1997
Author(s)
Hsiang J.
Type
conference paper