Publication:3678695

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