Show simple item record

Reasoning about linear systems of Equations on HOL

dc.contributor.authorAngelo, Catia Marcondes
dc.contributor.authorClaesen, Luc
dc.contributor.authorDe Man, Hugo
dc.date.accessioned2021-09-29T12:39:41Z
dc.date.available2021-09-29T12:39:41Z
dc.date.issued1994
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/16
dc.sourceIIOimport
dc.titleReasoning about linear systems of Equations on HOL
dc.typeProceedings paper
dc.contributor.imecauthorDe Man, Hugo
dc.source.peerreviewno
dc.source.beginpage33
dc.source.endpage48
dc.source.conferenceHigher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings; 19-22 September 1994; Valletta,
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record