Вы здесь

Главная

логика первого порядка

Связанные издания:

Синтаксическая однозначность при представлении знаний в логике первого порядка
Система автоматического доказательства теорем интуиционистской логики на основе обратного метода
Статистические вычисления в полиморфной системе типов с подтипами и предикатами
Статистические вычисления в полиморфной системе типов с подтипами и предикатами