Mostrar registro simples

dc.contributor.advisorCosta, Antônio C. R.pt_BR
dc.contributor.authorAlves, Gleifer V.pt_BR
dc.contributor.authorDimuro, Graçaliz P.pt_BR
dc.date.accessioned2013-12-19T12:50:23Zpt_BR
dc.date.issued2001pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/84235pt_BR
dc.format.mimetypeapplication/pdf
dc.language.isoporpt_BR
dc.relation.ispartofSalão de iniciação Científica (13. : 2001 : Porto Alegre, RS). Livro de resumos. Porto Alegre : UFRGS, 2001.pt_BR
dc.rightsOpen Accessen
dc.titleEstudo para implementação de um provador de teoremaspt_BR
dc.typeResumo publicado em eventopt_BR
dc.contributor.eventSalão de iniciação Científica (13. : 2001 out. 22-26 : UFRGS, Porto Alegre, RS).pt_BR
dc.subject.sessionFundamentos da computaçãopt_BR
dc.subject.cnpqCiências exatas e da terrapt_BR
dc.type.presentationApresentação oralpt_BR
dc.identifier.old-sic20010240pt_BR


Thumbnail
   

Este item está licenciado na Creative Commons License

Mostrar registro simples