Parallel symbolic computation in ACE
From MaRDI portal
Publication:1376096
DOI10.1023/A:1018929805694zbMath0890.68028MaRDI QIDQ1376096
Publication date: 9 June 1998
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Related Items