Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления
Голованова Е. М.Kategorie:
Rok:
2003
Język:
russian
Strony:
11
Plik:
PDF, 472 KB
IPFS:
,
russian, 2003