Parallel symbolic computation in ACE

DOI10.1023/A:1018929805694zbMath0890.68028MaRDI QIDQ1376096

Gopal Gupta, Enrico Pontelli

Publication date: 9 June 1998

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

zbMATH Keywords

PrologACE system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic programming (68N17)

Related Items (1)

Parallel Logic Programming: A Sequel

This page was built for publication: Parallel symbolic computation in ACE