A Cartographic Analysis of Soviet Military City Plans

The Harvest War

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

Practical Injection Molding

Practical Injection Molding

Diophantine Sets Over Polynomial Rings

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

A Machine Program for Theorem-proving