Publication:3678695

From MaRDI portal
Revision as of 08:41, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0564.68063MaRDI QIDQ3678695

No author found.

Publication date: 1984


zbMATH Keywords

finite semigroups; AURA; equivalential calculus; ternary Boolean algebra; design of digital circuits; automated reasoning assistant


Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

20M99: Semigroups


Related Items

Conceptual fuzzy sets and their connectives



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3678695&oldid=17152406"
Powered by MediaWiki