Математическая логика и автоматическое доказательство теорем (Запись № 7897155)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 02142nam0a22003611 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | rc\876328 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20250612175654.0 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20041129d1983 |||y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | y ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | Математическая логика и автоматическое доказательство теорем |
| Первые сведения об ответственности | Ч. Чень, Р. Ли |
| Последующие сведения об ответственности | Перевод с англ. Г.В. Давыдова и др. |
| -- | Под ред. С.Ю. Маслова |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | М. |
| Имя издателя, распространителя и т. д. | Наука |
| Дата издания, распространения и т.д. | 1983 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Специфическое обозначение материала и объем | 358 с. |
| Размеры | 22 |
| 225 1# - СЕРИЯ | |
| Основное заглавие серии | Математическая логика и основания математики |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ | |
| Текст примечания | Перевод изд.: Syribolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973) |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Библиогр.: с. 333-349 |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Библиогр. в конце глав |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Алф. указ.: с. 350-358 |
| 327 0# - ПРИМЕЧАНИЯ О СОДЕРЖАНИИ | |
| Текст примечания | В кн. также: Теория поиска вывода и обратный метод / С.Ю. Маслов, Г.Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П. Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю. Маслов |
| 464 #0 - АНАЛИТИЧЕСКИЙ УРОВЕНЬ | |
| Встроенное поле | 2001#$aТеория поиска вывода и обратный метод |
| -- | 700#1$aМаслов$bС.Ю. |
| -- | 701#1$aМинц$bГ.Е. |
| 464 #0 - АНАЛИТИЧЕСКИЙ УРОВЕНЬ | |
| Встроенное поле | 2001#$aАлгоритм Британского музея может быть эффективнее метода резолюций |
| -- | 700#1$aОревков$bВ.П. |
| 464 #0 - АНАЛИТИЧЕСКИЙ УРОВЕНЬ | |
| Встроенное поле | 2001#$aО стратегиях метода резолюций и клаш-метода |
| -- | 700#1$aМаслов$bС.Ю. |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Чень |
| Часть имени, кроме начального элемента ввода | Ч. |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Тян-Ли |
| Часть имени, кроме начального элемента ввода | Р. |
| Дополнения к именам, кроме дат | псевдоним |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\77110162 |
| 852 ## - | |
| -- | NLR |
| -- | 83-5/4195 |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
Нет доступных экземпляров.