scientific article
From MaRDI portal
Publication:3748267
zbMath0608.03005MaRDI QIDQ3748267
Susanna Ghelfo, Eugenio Giovanni Omodeo
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items (2)
The automation of syllogistic. I: Syllogistic normal forms ⋮ The automation of syllogistic. II: Optimization and complexity issues
This page was built for publication:
