scientific article
From MaRDI portal
Publication:3490993
zbMATH Open0708.68064MaRDI QIDQ3490993
James J. Lu, Vincent J. Digricoli, V. S. Subrahmanian
Publication date: 1989
Title of this publication is not available (Why is that?)
Related Items (2)
The rue theorem-proving system: The complete set of LIM+ challenge problems ⋮ Completeness issues in RUE-NRF deduction: The undecidability of viability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3490993)
