1
Publicerad 2014
Innehållsförteckning: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2005
Innehållsförteckning: ... Derivations in Basic Superposition-Based Calculi -- On the Finite Satisfiability Problem for the Guarded...
Hämta fulltext
Elektronisk E-bok