1
Published 2014
Table of Contents: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Derivations in Basic Superposition-Based Calculi -- On the Finite Satisfiability Problem for the Guarded...
View full text
Electronic eBook