Issue 4/2004
Content (6 Articles)
Other Index
Volume Contents
A New Algebraic Tool for Automatic Theorem Provers
P. Cordero, G. Gutiérrez, J. Martínez, I.P. de Guzmán