r pruim

Uwe Schöning, Randall J. Pruim, R. Pruim · Springer

333 sayfa · 1998

Automatic theorem proving