scientific article; zbMATH DE number 1292302
From MaRDI portal
zbMath0915.03030MaRDI QIDQ4244309
Publication date: 30 May 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)
Related Items
lean\(T^ AP\): Lean tableau-based deduction, Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison
