Algorithms for computer algebra - Geddes, Keith O. (1947- ).; Czapor, Stephen R. (1957- ).; Labahn, George (1951- ).; Kluwer Academic Publishers (Dordrecht). (Boston [etc.] : Kluwer Academic Publishers, 1995)
Bibliogr. przy rozdz. Indeks.
Keywords: Rachunek formalny; Algorytmy