机读格式显示(MARC)
- 010 __ |a 978-7-5603-8989-9 |d CNY128.00
- 100 __ |a 20201215e2020 em y0chiy50 ea
- 200 1_ |a 代数、生物信息和机器人技术的算法问题 |A dai shu、sheng wu xin xi he ji qi ren ji shu de suan fa wen ti |h 第六卷 |i 恒等式和准恒等式的相等问题、可推导性和可实现性 |e 俄文 |f (俄) 弗拉基米尔·波波夫著
- 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2020.8
- 225 2_ |a 国外优秀数学著作原版系列 |A guo wai you xiu shu xue zhu zuo yuan ban xi lie
- 320 __ |a 有书目 (第331-357页)
- 330 __ |a 本书主要介绍了等式可解性和计算复杂性相关的算法问题,以及恒等式和准恒等式可导性和可实现性问题。本书共分为五章,第一章为有限半群恒等式可行性问题计算复杂性;第二章为自由半群和环的相等问题;第三章为恒等式的可推导性和有限基数,包括恒等式可推导性一般问题,半群、群和环有限基数识别;第四章为有限代数中的准恒等式可实现性;第五章为有限定义的交换半群的相等问题复杂性。
- 333 __ |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 江苏新华 |c 20201214
- 905 __ |a JBXQLIB |d O15/66:6