Title: Reasoning about linear systems of Equations on HOL
Authors: Angelo, Catia Marcondes ×
Claesen, Luc
De Man, Hugo #
Issue Date: 1994
Host Document: pages:33-48
Conference: Higher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings; 19-22 September 1994; Valletta, location:Leuven Belgium
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Electrical Engineering - miscellaneous
× corresponding author
# (joint) last author

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.