Automated Theorem Proving: A Logical BasisЭлектронная книгаAutomated Theorem Proving: A Logical BasisавтораD.W. LovelandРейтинг: 0 из 5 звезд0 оценокСохранить Automated Theorem Proving: A Logical Basis на потом