Математическая логика и автоматическое доказательство теорем Ч. Чень, Р. Ли; Перевод с англ. Г. В. Давыдова и др.
Material type: TextSeries: Математическая логика и основания математикиPublication details: М. Наука 1983Description: 358,[2] с. 22 смSubject(s): математическая логика | Теоремы - Доказательство на вычислительных машинах | резолюций метод | логика высказываний | логические следствия | логика первого порядка | Эрбрана теорема | искусственный интеллект | семантические деревья | алгоритмы унификации | резолюция семантическая | лок-резолюция | резолюция линейная | резолюция с равенством | парамодуляция | Правица процедура | доказательства процедуры | V-резолюции процедура | псевдосемантические деревья | анализ программ | синтез программ | алгоритм синтеза программ | теория поиска вывода | обратный методGenre/Form: монографии Online resources: Click here to access online Получено из INTERNETItem type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-501687к (Browse shelf (Opens below)) | 1 | Available | 13820000314570 |
В кн. также: Теория поиска вывода и обратный метод / С. Ю. Маслов, Г. Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В. П. Оревков. О стратегиях метода резолюций и клаш-метода / С.); Перевод изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973)
Библиогр.: с. 333-349 и в конце глав
Алф. указ.: с. 350-358
Получено из INTERNET
Систем. требования: djvu Plug-in for brausers
" ...пользование допускается без согласия автора или иного правообладателя и без выплаты вознаграждения. При этом выраженные в цифровой форме экземпляры произведений, предоставляемые библиотеками во временное безвозмездное пользование … могут предоставляться только в помещениях библиотек при условии исключения возможности создать копии этих произведений в цифровой форме" (Гражданский кодекс РФ, ч. 4).
There are no comments on this title.