1 janv. 1972 - Прогог

Description:

Этот язык программирования разрабатывался для задач анализа и понимания естественных языков на основе языка формальной логики и методов автоматического доказательства теорем.

Ajouté au bande de temps:

Date: