| 000 |
|
01053nam 2200277 450 |
| 001 |
|
0200007776 |
| 005 |
|
20251129152059.0 |
| 010 |
__ |
■a978-7-03-077545-0■b精装■dCNY288.00 |
| 100 |
__ |
■a20240706d2024 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aak a 001yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a自然数的紧化延伸机器证明系统■f郁文生, 窦国威著■Azi ran shu de jin hua yan shen +...... |
| 210 |
__ |
■a北京■c科学出版社■d2024 |
| 215 |
__ |
■axvii, 573页■c彩图■d25cm |
| 225 |
2_ |
■a数学机械化丛书■v15■Ashu xue ji xie hua cong shu |
| 320 |
__ |
■a有书目 (第516-524页) 和索引 |
| 330 |
__ |
■a本书共6章, 内容包括: 引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实+...... |
| 410 |
_0 |
■12001 ■a数学机械化丛书■v15 |
| 606 |
0_ |
■a机器证明■Aji qi zheng ming |
| 690 |
__ |
■aTP181■v5 |
| 701 |
_0 |
■a郁文生■4著■Ayu wen sheng |
| 701 |
_0 |
■a窦国威■4著■Adou guo wei |
| 801 |
_0 |
■aCN■b南昌职业大学图书馆■c20251129 |
| 905 |
|
■a南昌职业大学图书馆■dTP181/464 |
(共0票)
评价
