scientific article
From MaRDI portal
Publication:4012181
zbMath0745.68088MaRDI QIDQ4012181
Luis Fariñas del Cerro, Robert Demolombe
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Temporal abductive reasoning about biochemical reactions ⋮ An assumption-based truth maintenance system dealing with non-ground justifications ⋮ Linear resolution for consequence finding ⋮ How to Produce Information About a Given Entity Using Automated Deduction Methods ⋮ Using Abduction to Compute Efficient Proofs ⋮ Abductive Reasoning on Molecular Interaction Maps
This page was built for publication:
