狭义谓词演算

狭义谓词演算
_
restricted predicate calculus

Наука. 2013.

Игры ⚽ Нужно сделать НИР?

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»