机读格式显示(MARC)
- 000 01103nam0 2200313 450
- 100 __ |a 19990625d1986 k y0chiy0121 ea
- 200 10 |a 计算机解题逻辑 |f (英)科瓦尔斯基(Kowalski,R.)著 |F ( ying ) ke wa er si ji (Kowalski,R.) zhu |g 郑守淇译 |A ji suan ji jie ti luo ji
- 210 __ |a 西安 |b 西安 |c 西安交通大学出版社 |d 1986.11
- 300 __ |a 书名原文:Logic for problem solving
- 330 __ |a 本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用,子句形式推理系统等。
- 540 1_ |a 计算机解题逻辑 |A ji suan ji jie ti luo ji
- 701 _0 |a 科瓦尔斯基(Kowalski,R.) |4 著 |A ke wa er si ji (Kowalski,R.)
- 801 _0 |a CN |b Library |c 19910415 |U UnKnown
- 801 _0 |a CN |b Library |c 20011010 |U sa
- 905 __ |a JHUL |d TP302/26