Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления
- Author
- Голованова Е. М.
- Language
- Russian
- Year
- 2003
- Page
- 11
- File Type
- pdf
- File Size
- 471.8 KiB
How to Download?!!!
Just click on START button on Telegram Bot