Инд. авторы: | 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 |