scientific article
From MaRDI portal
Publication:3830550
zbMath0675.68052MaRDI QIDQ3830550
Pierre Deransart, Gérard Ferrand
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
An operational formal definition of PROLOG: A specification method and its application ⋮ Proof methods of declarative properties of definite programs ⋮ Negation in rule-based database languages: A survey
This page was built for publication: