scientific article; zbMATH DE number 1090102
From MaRDI portal
Publication:4366603
zbMath0896.03025MaRDI QIDQ4366603
Publication date: 21 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items