scientific article
From MaRDI portal
Publication:3713590
zbMATH Open0587.68028MaRDI QIDQ3713590
Publication date: 1986
Title of this publication is not available (Why is that?)
Related Items (1)
Recommendations
- Logic programming as classical inference π π
- On the implementation ofGNU Prolog π π
- A logical reconstruction of Prolog II π π
- A transformation of propositional Prolog programs into classical logic π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
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 Q3713590)