scientific article; zbMATH DE number 1023017

zbMath0870.68037MaRDI QIDQ4341024

Francis Alexandre, Khaled Bsaies

Publication date: 16 June 1997

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

zbMATH Keywords

Horn clausesinitial specification

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: