TY  - CHAP
AU  - Shibata, Katsuyuki
TI  - Micro-computer prolog as a handy tool for formal algebraic computations
BT  - Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
AU  - Collectif
ED  - Hayat-Legrand Claude
ED  - Sergeraert Francis
T3  - Astérisque
PY  - 1990
SP  - 69
EP  - 78
IS  - 192
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/AST_1990__192__69_0/
LA  - en
ID  - AST_1990__192__69_0
ER  -