Show simple item record

Quantifier Elimination for Real Closed Fields

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorOosten, J. van
dc.contributor.authorBoonekamp, M.P.A.
dc.date.accessioned2021-02-17T19:00:14Z
dc.date.available2021-02-17T19:00:14Z
dc.date.issued2021
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/38890
dc.description.sponsorshipUtrecht University
dc.format.extent417010
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleQuantifier Elimination for Real Closed Fields
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.courseuuWiskunde


Files in this item

Thumbnail
Name:
Quantifier Elimination for Real ...
Size:
407.2Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record