Quantifier elimination and cylindrical algebraic decomposition

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Wien : Springer , c1998
Omfang	XIX, 431 s.
Opplysninger	Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria.
Emner	Algebra - Data processing Congresses Algorithms - Congresses Decomposition method - Data processing Congresses
ISBN	3211827943

Biblioteksøk