机读格式显示(MARC)

• 000 00939nam0 2200289 450

• 001 0000050027

• 005 20170425144000.0

• 091 __ |a 15340.103 |d CNY2.05

• 099 __ |a CAL 012001294891 |a CAL 012000470364

• 100 __ |a 19990324d1986 ekmy0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 610000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 计算机解题逻辑 |A ji suan ji jie ti luo ji |f (英) R. 科瓦尔斯基著 |g 郑守淇译

• 210 __ |a 西安 |c 西安交通大学出版社 |d 1986

• 215 __ |a 198页 |c 图 |d 26cm

• 312 __ |a 英文题名取自书中

• 330 __ |a 本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用,子句形式推理系统等。

• 500 10 |a Logic for problem solving |m Chinese

• 606 0_ |a 逻辑 |A luo ji |x 应用 |x 程序设计

• 690 __ |a TP302 |v 3

• 701 _1 |a 科瓦尔斯基 |A ke wa er si ji |g (Kowalski, R.) |4 著

• 702 _0 |a 郑守淇 |A zheng shou qi |4 译

• 801 _0 |a CN |b CNU

• 905 __ |a SCNU |f TP302/2070

• 920 __ |a 242430 |z 1