Publication:4012176
From MaRDI portal
zbMath0745.68087MaRDI QIDQ4012176
Publication date: 27 September 1992
03B35: Mechanization of proofs and logical operations
Related Items
An order-sorted logic for knowledge representation systems, Generalized resolution and NC-resolution, Linear and unit-resulting refutations for Horn theories