Title: A case study with LILA : A formal manipulator for polynomials
Authors: Van Horebeek, Ivo
De Vlaminck, Karel
Lewi, Joannes
Steegmans, Eric
Van Braekel, Luc
Issue Date: May-1983
Publisher: Department of Computer Science, K.U.Leuven.
Series Title: CW Reports vol:CW31
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.