Дедукция Эрли

method ID: earleydeduction

Детали сущности

Основная информация

ID сущности

earleydeduction

Тип сущности

Method

Английская метка

Earley Deduction

Русская метка

Дедукция Эрли

Казахская метка

Earley дедукциясы

Частота

1

Описание

Английское описание

A proof procedure that uses the Earley parsing technique for deduction based on definite clauses.

Русское описание

-

Казахское описание

-