Title: Parallelʹnye logicheskie vychislenii͡a posredstvom arifmeticheskikh polinomov
First published: 1997
Subjects: Logic, Symbolic and mathematical, Parallel processing (Electronic computers), Polynomials, Symbolic and mathematical Logic
LC classification: QA76.58 .M35 1997