scientific article
From MaRDI portal
Publication:2767109
zbMath0983.68653MaRDI QIDQ2767109
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Extending and implementing the stable model semantics
Uses Software
This page was built for publication:
