DOI10.1007/3-540-45653-8_50zbMath1275.68140OpenAlexW1488712341MaRDI QIDQ2996204
Raúl Monroy
Publication date: 6 May 2011 Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/3-540-45653-8_50
Mathematics Subject Classification ID
Logic in artificial intelligence (68T27)
Uses Software
