Report

Report

on the project "Research of algorithmic problems; development of computer-aided logical derivation"

Organizations: