Title: Algoritmy reshenii︠a︡ logiko-kombinatornykh zadach
Subjects: Algorithms, Machine theory