> 1 <

Автор Сообщение

alica

Members


Статус

1 сообщений

Где: ---
Род занятий:
Возраст:

#7425   2014-10-17 00:23 GMT+3 часа(ов)      
привет всем, пишу доказательство теоремы. Возможно ли в лиспе найти определённое выражение и заменить его на другое выражение?
есть вообще примеры автодоказательства теорем на лиспе?)

отредактировал(а) alica: 2014-10-17 00:31 GMT+3 часа(ов)
> 1 <


Онлайн :

0 пользователь(ей), 35 гость(ей) :