%0 Book Section
%A Shibata, Katsuyuki
%T Micro-computer prolog as a handy tool for formal algebraic computations
%B Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
%A Collectif
%E Hayat-Legrand Claude
%E Sergeraert Francis
%S Astérisque
%D 1990
%P 69-78
%N 192
%I Société mathématique de France
%U http://www.numdam.org/item/AST_1990__192__69_0/
%G en
%F AST_1990__192__69_0