Goto

Collaborating Authors

 Davis, M.




A computer program for Presburger's algorithm

Classics

In Proving Theorems as Done by Man, Logician, or Machine, pp. 215-233. Proc. Summer Institute for Symbolic Logic


A computer program for Presburger's algorithm

Classics

In Proving Theorems as Done by Man, Logician, or Machine, pp. 215-233. Proc. Summer Institute for Symbolic Logic