scientific article; zbMATH DE number 7075891

zbMath1409.68285MaRDI QIDQ4967187

Pablo Cordero, Ángel Mora, Estrella Rodríguez-Lorenzo, Manuel Enciso

Publication date: 3 July 2019

Full work available at URL: http://bulletin.eatcs.org/index.php/beatcs/article/view/356/338

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

The joy of implications, aka pure Horn formulas: mainly a survey

This page was built for publication: