View in EDS PDF Full Text

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
Description
ISSN:14262630
DOI:10.2478/forma-2021-0015