An integrated Prolog architecture for symbolic and numeric executions

DOI10.1007/BF01531175MaRDI QIDQ1354063zbMATH OpenOpenAlexFDO

Authors Robert Yung, Alvin M. Despain

Publication date 13 May 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01531175

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Logic programming (68N17)

Cites work

• An Efficient Algorithm for Exploiting Multiple Arithmetic Units
• scientific article; zbMATH DE number 3942888 (Why is no real title available?)
• scientific article; zbMATH DE number 3748388 (Why is no real title available?)

This page was built for publication: An integrated Prolog architecture for symbolic and numeric executions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1354063)