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