A=B

书名：A=B
作者：MarkoPetkovsek/HerbertS.Wilf/DoronZeilberger
译者：
ISBN：9781568810638
出版社：AKPeters,Ltd.
出版时间：1996-01
格式：epub/mobi/azw3/pdf
页数：217
豆瓣评分：

书籍简介：

At some point, this book describes methods of solving the problem raised by Donald E. Knuth in the classical book "The Art of Computer Programming, Volume 1: Fundamental Algorithms". The main purpose of this book is to explain how the discoveries and the proofs of "hypergeometric identities" have been very largely automated.

作者简介：

书友短评：

@ 海马 没看到介绍应用很迷惑。。。 @ 安雅心雨 自己接触到最早的一本机器证明方向的图书，也算是该方向入门级的图书，挺深刻的，有机会会再读一遍（每次看都会有不一样的感触） @ 安雅心雨 自己接触到最早的一本机器证明方向的图书，也算是该方向入门级的图书，挺深刻的，有机会会再读一遍（每次看都会有不一样的感触） @ 海马 没看到介绍应用很迷惑。。。

添加微信公众号:好书天下获取