Logic programming

DOI10.1007/978-3-030-06167-8_4zbMath1547.68088MaRDI QIDQ6602251

Pascal Nicolas, Arnaud Lallouet, Yves Moinard, Igor Stéphan

Publication date: 11 September 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

This page was built for publication: Logic programming