Quantifier Scoping in the SRI Core Language Engine

35853
Back to Articles Dashboard

Related Entities

Алгоритм предпочтений

Method

Реализация на Prolog

Material

Область Квантификатора

Task