1
Udgivet 2014
Indholdsfortegnelse: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... Derivations in Basic Superposition-Based Calculi -- On the Finite Satisfiability Problem for the Guarded...
Få fuldtekst
Electronisk eBog