DOI10.1007/978-3-642-14309-0_14zbMath1285.68029WikidataQ57977934 ScholiaQ57977934MaRDI QIDQ3578401
Paolo Torroni, A. Dal Palú
Publication date: 20 July 2010 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-14309-0_14
Mathematics Subject Classification ID
68N17: Logic programming
68-03: History of computer science