|
题名:
|
分子逻辑计算 / (英) A. Prasanna de Silva著 , 郭志前, 朱为宏, 田禾译 |
|
ISBN:
|
978-7-5628-4036-7 价格: CNY98.00 |
|
语种:
|
chi |
|
载体形态:
|
368页 图 25cm |
|
出版发行:
|
出版地: 上海 出版社: 华东理工大学出版社 出版日期: 2014 |
|
内容提要:
|
本书作者在1993年发表了第一篇分子逻辑研究的学术论文,并以独特的视角论述了该领域的成长、发展过程。迄今为止还没有一本分子逻辑计算方面的专著。 |
|
主题词:
|
分子 逻辑 |
|
中图分类法:
|
O561 版次: 5 |
|
主要责任者:
|
席尔瓦 著 |
|
次要责任者:
|
郭志前 译 |
|
次要责任者:
|
朱为宏 译 |
|
次要责任者:
|
田禾 译 |
|
索书号:
|
5 |