Logic for Programming, Artificial Intelligence, and Reasoning
From MaRDI portal
Publication:5705943
DOI10.1007/b106931zbMath1109.03008OpenAlexW4206255911MaRDI QIDQ5705943
Kevin P. Donnelly, Neel Krishnaswami, Stephen Magill, Sungwoo Park, Tyler Gibson
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106931
Related Items (1)
This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning