Show simple item record

dc.contributor.authorZheng, Bingen_US
dc.date.accessioned2015-05-08T19:38:53Z
dc.date.available2015-05-08T19:38:53Z
dc.date.issued1989en_US
dc.identifier.urihttp://hdl.handle.net/10919/52096
dc.format.extentvi, 74 leavesen_US
dc.format.mimetypeapplication/pdfen_US
dc.language.isoen_USen_US
dc.publisherVirginia Polytechnic Institute and State Universityen_US
dc.rightsThis Item is protected by copyright and/or related rights. Some uses of this Item may be deemed fair and permitted by law even without permission from the rights holder(s), or the rights holder(s) may have licensed the work for use under certain conditions. For other uses you need to obtain permission from the rights holder(s).en_US
dc.subject.lccLD5655.V855 1989.Z546en_US
dc.subject.lcshEquations -- Numerical solutions -- Computer programsen_US
dc.titleIncorporating equation solving into unification through stratified term rewritingen_US
dc.typeThesisen_US
dc.contributor.departmentComputer Scienceen_US
dc.description.degreeMaster of Scienceen_US
dc.identifier.oclc20305522en_US
thesis.degree.nameMaster of Scienceen_US
thesis.degree.levelmastersen_US
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen_US
thesis.degree.disciplineComputer Scienceen_US
dc.type.dcmitypeTexten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record