Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint In

商家名称	信用等级	购买信息	订购本书
		Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint In
		Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint In

基本信息·出版社：Springer; 1 edition
·页码：343 页
·出版日期：2002年08月
·ISBN：3540438653
·条形码：9783540438656
·装帧：平装
·丛书名：Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
·外文书名：人工智能、自动推理与符号计算

内容简介 在线阅读本书

This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002.
The 24 revised full papers presented together with 2 system descriptions were carefully reviewed and selected from 52 submissions. Among the topics covered are automated theorem proving, logical reasoning, mathematical modeling, algebraic computations, computational mathematics, and applications in engineering and industrial practice.

查看更多 下一篇