2 หนังสืออิเล็กทรอนิกส์โดย David A. Plaisted
David A. Plaisted & Yunshan Zhu: The Efficiency of Theorem Proving Strategies
…
PDF
เยอรมัน
DRM
€43.59
David A. Plaisted & Yunshan Zhu: Efficiency of Theorem Proving Strategies
This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their comments on the first ed …
PDF
อังกฤษ
DRM
€58.19
