scientific article; zbMATH DE number 804363
From MaRDI portal
Publication:4851550
zbMath0864.68010MaRDI QIDQ4851550
Michael A. Covington, André Vellino, Donald E. Nute
Publication date: 10 October 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items (7)
On Completeness of Logic Programs ⋮ Well-founded semantics for defeasible logic ⋮ Coding guidelines for Prolog ⋮ Defeasible reasoning with variable degrees of justification ⋮ Proving quantified literals in defeasible logic ⋮ Computing Generalized Specificity ⋮ Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals
This page was built for publication:
