Logic programming and automated reasoning. 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994. Proceedings
From MaRDI portal
Publication:1328456
zbMATH Open0875.00092MaRDI QIDQ1328456
Author name not available (Why is that?)
Publication date: 26 July 1994
Published in: (Search for Journal in Brave)
No records found.
No records found.
This page was built for publication: Logic programming and automated reasoning. 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1328456)