Automatization of Ternary Boolean Algebras.

Saved in:
Bibliographic Details
Title: Automatization of Ternary Boolean Algebras.
Authors: Kuśmierowski, Wojciech1 (AUTHOR), Grabowski, Adam1 (AUTHOR)
Source: Formalized Mathematics. Dec2021, Vol. 29 Issue 4, p153-159. 7p.
Database: Academic Search Ultimate
Be the first to leave a comment!
You must be logged in first