机读格式显示(MARC)

• 000 01879nam 2200601 450

• 001 0000317208

• 005 20181113145200.0

• 010 __ |a 978-7-5201-1173-7 |d CNY59.00

• 099 __ |a CAL 012017183580

• 100 __ |a 20171226d2017 em y0chiy50 ea

• 101 0_ |a chi |e eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 谓词抽象研究 |A wei ci chou xiang yan jiu |d = Studies on predicate abstraction |f 魏燕侠著 |z eng

• 210 __ |a 北京 |c 社会科学文献出版社 |d 2017

• 215 __ |a 213页 |c 图 |d 24cm

• 225 2_ |a 华侨大学哲学社会科学文库 |A hua qiao da xue zhe xue she hui ke xue wen ku |i 哲学系列

• 320 __ |a 有书目 (第202-213页)

• 330 __ |a 本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。

• 410 _0 |1 2001 |a 华侨大学哲学社会科学文库 |i 哲学系列

• 510 1_ |a Studies on predicate abstraction |z eng

• 606 0_ |a 谓词逻辑 |A wei ci luo ji

• 690 __ |a O141.12 |v 5

• 690 __ |a B815.1 |v 5

• 701 _0 |a 魏燕侠 |A wei yan xia |4 著

• 801 _0 |a CN |b NMU |c 20171226

• 905 __ |a XATU |d O141.12/1

• 920 __ |a 211010 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 232370 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 231280 |z 1

• 920 __ |a 221400 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 244290 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 262010 |z 1

• 920 __ |a 241010 |z 1

• 998 __ |a NMU