12335. Lena
[Жуковский, Россия]
02 декабря 2004, 00:17
Математика. Кибернетика
Здравствуйте!Спасибо за доверие...
Помогите пожалуйста подыскать информацию по прикладной информатике - формулы исчесления предикатов к префиксной форме,сколемизация формул,доказательства методом резолюции в исчислении предикатов.
Спасибо.
Добрый день, Lena!
Смотрите, читайте, учите (нужное подчеркнуть:):
Сергей [Курсавка, ГКПУ Андроповская ЦБС]
03 мая 2005, 13:32
|
|
АРХИВ «ГОСТЯ»