Publication:4851550
From MaRDI portal
zbMath0864.68010MaRDI QIDQ4851550
Michael A. Covington, André Vellino, Donald E. Nute
Publication date: 10 October 1995
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N15: Theory of programming languages
Related Items
Coding guidelines for Prolog, Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals, Defeasible reasoning with variable degrees of justification, Well-founded semantics for defeasible logic, Proving quantified literals in defeasible logic, On Completeness of Logic Programs, Computing Generalized Specificity