Automatization of Ternary Boolean Algebras
Article in Formalized Mathematics (December 2021)
The most recent citing publications are shown below. View all 33 publications that cite this research output on Dimensions.
Article in Formalized Mathematics (December 2021)
Article in Formalized Mathematics (July 2021)
Article in Formalized Mathematics (July 2020)