scientific article
From MaRDI portal
Publication:3678695
zbMath0564.68063MaRDI QIDQ3678695
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite semigroupsAURAequivalential calculusternary Boolean algebradesign of digital circuitsautomated reasoning assistant
Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Semigroups (20M99)
Related Items (1)
This page was built for publication:
