Инд. авторы: Rents I.V.
Заглавие: MALTHEP: an Automated Theorem Prover for First Order Non-Classical Logics Based on Maslov's Inverse Method
Библ. ссылка: Rents I.V. MALTHEP: an Automated Theorem Prover for First Order Non-Classical Logics Based on Maslov's Inverse Method // Second Workshop on Non-Standard Logics and Logical Aspects of Computer Science. NSL'95. Irkutsk, 1995. - P.60-66.
Издано: Irkutsk: , 1995
Физ. характеристика: с.60-66