An integrated Prolog architecture for symbolic and numeric executions

DOI10.1007/BF01531175zbMath1004.68516OpenAlexW2066647616MaRDI QIDQ1354063

Alvin M. Despain, Robert Yung

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

• Unnamed Item
• Unnamed Item
• An Efficient Algorithm for Exploiting Multiple Arithmetic Units

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