Affiliation:
1. Department of Mathematics, Carnegie-Mellon University, Pittsburgh, PA
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference15 articles.
1. BERLEKAMP ~E R Algebraic Coding Theory. McGraw-Hill New York 1968 BERLEKAMP ~E R Algebraic Coding Theory. McGraw-Hill New York 1968
Cited by
197 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatisierung der Deduktion;Philosophisches Handbuch Künstliche Intelligenz;2024
2. A first polynomial non-clausal class in many-valued logic;Fuzzy Sets and Systems;2023-03
3. Effective Skolemization;Logic, Language, Information, and Computation;2023
4. Set of Support, Demodulation, Paramodulation: A Historical Perspective;Journal of Automated Reasoning;2022-05-24
5. Automatisierung der Deduktion;Springer Reference Geisteswissenschaften;2022