Hide metadata

dc.date.accessioned2015-03-05T19:13:07Z
dc.date.available2015-03-05T19:13:07Z
dc.date.issued1997
dc.identifier.urihttp://hdl.handle.net/10852/42927
dc.language.isoenen_US
dc.publisherMatematisk Institutt, Universitetet i Oslo
dc.relation.ispartofPreprint series: Pure mathematics http://urn.nb.no/URN:NBN:no-8076
dc.relation.urihttp://urn.nb.no/URN:NBN:no-8076
dc.titleIMPLEMENTING THE ALGORITH FOR COMPUTING FORMAL MODULIen_US
dc.typeResearch reporten_US
dc.creator.authorSiqveland, Arvid
dc.identifier.urnURN:NBN:no-47316
dc.type.documentForskningsrapporten_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/42927/1/1997-01.pdf


Files in this item

Appears in the following Collection

Hide metadata