scientific article; zbMATH DE number 7047280

zbMath1407.68473MaRDI QIDQ4631188

Michael J. Maher

Publication date: 24 April 2019

Full work available at URL: http://ceur-ws.org/Vol-1433/tc_43.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

This page was built for publication: