scientific article
From MaRDI portal
Publication:4012176
zbMath0745.68087MaRDI QIDQ4012176
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Generalized resolution and NC-resolution ⋮ Linear and unit-resulting refutations for Horn theories ⋮ QUANTIZED DETECTOR NETWORKS: A REVIEW OF RECENT DEVELOPMENTS ⋮ Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison ⋮ An order-sorted logic for knowledge representation systems
This page was built for publication:
