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