机读格式显示(MARC)
- 010 __ |a 978-7-5603-8989-9 |d CNY128.00
- 100 __ |a 20210104d2020 em y0chiy50 ba
- 200 1_ |a 代数、生物信息和机器人技术的算法问题 |A dai shu 、 sheng wu xin xi he ji qi ren ji shu de suan fa wen ti |h 第六卷 |i 恒等式和准恒等式的相等问题、可推导性和可实现性 |f (俄罗斯) 弗拉基米尔·波波夫著
- 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2020
- 225 2_ |a 国外优秀数学著作原版系列 |A guo wai you xiu shu xue zhu zuo yuan ban xi lie
- 320 __ |a 有书目 (第331-357页)
- 330 __ |a 本书主要介绍了等式可解性和计算复杂性相关的算法问题, 以及恒等式和准恒等式可导性和可实现性问题。本书共分为五章, 第一章为有限半群恒等式可行性问题计算复杂性 ; 第二章为自由半群和环的相等问题 ; 第三章为恒等式的可推导性和有限基数, 包括恒等式可推导性一般问题, 半群、群和环有限基数识别 ; 第四章为有限代数中的准恒等式可实现性 ; 第五章为有限定义的交换半群的相等问题复杂性。
- 410 _0 |1 2001 |a 国外优秀数学著作原版系列
- 517 1_ |a 恒等式和准恒等式的相等问题、可推导性和可实现性 |A heng deng shi he zhun heng deng shi de xiang deng wen ti 、 ke tui dao xing he ke shi xian xing
- 606 0_ |a 代数 |A dai shu |x 算法 |x 俄文
- 606 0_ |a 生物信息论 |A sheng wu xin xi lun |x 算法 |x 俄文
- 606 0_ |a 机器人技术 |A ji qi ren ji shu |x 算法 |x 俄文
- 701 _1 |a 波波夫, |A bo bo fu |b 弗拉基米尔 |4 著
- 801 _0 |a CN |b HDUL |c 20210317
- 905 __ |a HDUL |d O15/335:V3