The Harvest War

Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

Practical Injection Molding

Practical Injection Molding

Diophantine Sets Over Polynomial Rings

A Machine Program for Theorem-proving

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings