机读格式显示(MARC)

• 000 01395nam2 2200313 4500

• 000 0000073976

• 001 0000060766

• 005 20030422145457.0

• 010 __ |a 7-5046-3347-X |d CNY25.00

• 092 __ |b 02-625-261

• 100 __ |a 20030418d2002 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 10 |a 互逆主义逻辑与Super-Prolog语言 |f 周训伟著 |9 HunizhuyiluojiyuS uper-PrologYuyan |P HNZYLJYSPYY

• 210 __ |a 北京 |c 中国科学技术出版社 |d 2002

• 215 __ |a 362页 |d 20cm

• 330 __ |a 本书阐述的互逆主义逻辑，是在克服经典逻辑的局限性，在继承中国和西方已有的逻辑理论的基础上，开创性地提出互逆主义逻辑理论，并在互逆主义逻辑和已有人工智能程序设计语言Prolog的基础上，构造出功能更强的人工智能程序设计语言Super-Prolog，互逆主义逻辑继承了古典逻辑、形式逻辑、中国古代逻辑、相干逻辑、模态逻辑、古典归纳逻辑、多值逻辑、辨证逻辑和布尔代数的优点，并有许多创新。

• 333 __ |a 读者对象：逻辑、计算机、数学、哲学、科学方法、法学、语言学科的大学生、研究生，教学与科研工作者

• 606 0_ |a Super-Prolog语言 |x 逻辑设计 |A Super-PrologYuyan

• 690 __ |a TP312PR |v 4

• 701 _0 |a 周训伟 |4 著 |9 Zhouxunwei

• 801 _3 |a CN |b CDSY |c 20021204

• 801 _2 |a CN |b 261060 |c 20030422

• 905 __ |a XATU |d TP312PR/9

• 991 __012003003994

• 995 __ |a 261060 |f TP312PR/9

• 999 __ |t C |A shxy |a 20030418 10:06:38 |M shxy |m 20030418 10:10:16 |I zw |i 20030422 14:54:57 |G zw |g 20030422 15:00:2