Frontiers of Combining Systems
作者:
K·U·Schulz
|
Franz Baader
|
Klaus U·Schulz
出版年: 1996-10
页数: 400
定价: $ 111.87
ISBN: 9780792342717
出版年: 1996-10
页数: 400
定价: $ 111.87
ISBN: 9780792342717
内容简介
This volume contains research papers that consider the problem of combining formal systems, algorithms, and software tools from the different perspectives of logic, computer science, and artificial intelligence. The emphasis lies on logical systems, automated deduction, and constraint logic programming, but topics like computer algebra systems and the logic modeling of multi-agent systems are also addressed.
您对《Frontiers of Combining Systems》有什么评价吗,点击右上角“我想说两句”,说出你的看法吧。
我要写长评
书评
有什么“读后感”吗?您可点击右上角“我要写长评”来进行评价噢。
评价“Frontiers of Combining Systems”