Incompleteness of the RUE/NRF inference systems
Resource
Association of Automated Reasoning Newsletter, 1991
Journal
Association of Automated Reasoning Newsletter
Pages
-
Date Issued
1991
Date
1991
Author(s)
Bonacina M. P.
Hsiang J.
Type
conference paper