Automatization of Ternary Boolean Algebras.
Saved in:
| 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!