scientific article

zbMATH Open0971.68609MaRDI QIDQ2728840

Fernando Zacarias, Mauricio Osorio

Publication date: 6 November 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

high-level logic programming

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17)

Related Items (1)

Programming with Higher-Order Logic

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 Q2728840)