RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1960 Volume 132, Number 2, Pages 260–263 (Mi dan23546)

This article is cited in 3 papers

MATHEMATICS

Simplification algorithms for disjunctive normal forms

Yu. I. Zhuravlev

Lomonosov Moscow State University



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024