Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Эффективное внутреннее представление дизъюнктов и интервалов для проверки выполнимости КНФ (Record no. 408874)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 01390naa a2200265 c 4500
001 - Контрольный номер
Контрольное поле vtls000554017
005 - Дата корректировки
Контрольное поле 20210404230624.0
008 - Кодируемые данные
Контрольное поле постоянной длины 161230s2012 ru f 100 0 rus d
035 ## - Системный контрольный номер
Системный контрольный номер to000554017
040 ## - Источник каталогиз.
Служба первич. каталог. RU-ToGU
Код языка каталог. rus
Служба, преобразующая запись RU-ToGU
100 1# - Автор
Автор Кидярова, Галина Владимировна
9 (RLIN) 311073
245 10 - Заглавие
Заглавие Эффективное внутреннее представление дизъюнктов и интервалов для проверки выполнимости КНФ
Ответственность Г. В. Кидярова, О. В. Кондратьева
504 ## - Библиография
Библиография Библиогр.: 3 назв.
653 ## - Ключевые слова
Ключевые слова информационные технологии
653 ## - Ключевые слова
Ключевые слова труды ученых ТГУ
653 ## - Ключевые слова
Ключевые слова дискретные структуры
653 ## - Ключевые слова
Ключевые слова дизъюнкты
653 ## - Ключевые слова
Ключевые слова конъюнктивная нормальная форма
700 1# - Другие авторы
Другие авторы Кондратьева, Ольга Викторовна
9 (RLIN) 92533
773 0# - Источник информации
Название источника Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участием
Место и дата издания Томск, 2012
Прочая информация С. 61
ISBN 9785895034996
Контрольный № источника to000539722
852 ## - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
908 ## - Параметр входа данных
Параметр входа данных статья
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 408874

No items available.