Estudo para implementação de um provador de teoremas

dc.contributor.advisor	Costa, Antônio C. R.	pt_BR
dc.contributor.author	Alves, Gleifer V.	pt_BR
dc.contributor.author	Dimuro, Graçaliz P.	pt_BR
dc.date.accessioned	2013-12-19T12:50:23Z	pt_BR
dc.date.issued	2001	pt_BR
dc.identifier.uri	http://hdl.handle.net/10183/84235	pt_BR
dc.format.mimetype	application/pdf
dc.language.iso	por	pt_BR
dc.relation.ispartof	Salão de iniciação Científica (13. : 2001 : Porto Alegre, RS). Livro de resumos. Porto Alegre : UFRGS, 2001.	pt_BR
dc.rights	Open Access	en
dc.title	Estudo para implementação de um provador de teoremas	pt_BR
dc.type	Resumo publicado em evento	pt_BR
dc.contributor.event	Salão de iniciação Científica (13. : 2001 out. 22-26 : UFRGS, Porto Alegre, RS).	pt_BR
dc.subject.session	Fundamentos da computação	pt_BR
dc.subject.cnpq	Ciências exatas e da terra	pt_BR
dc.type.presentation	Apresentação oral	pt_BR
dc.identifier.old-sic	20010240	pt_BR

Este item está licenciado na Creative Commons License