Metodo sintatico de prova de teoremas: algoritmo de wang (1990)
- Authors:
- Autor USP: MONARD, MARIA CAROLINA - ICMC
- Unidade: ICMC
- Assunto: CIÊNCIA DA COMPUTAÇÃO
- Language: Português
- Imprenta:
- Publisher: Icmsc-Usp
- Publisher place: Sao Carlos
- Date published: 1990
-
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Metodo sintatico de prova de teoremas: algoritmo de wang. . Sao Carlos: Icmsc-Usp. . Acesso em: 16 abr. 2024. , 1990 -
APA
Monard, M. C., & Nicoletti, M. C. (1990). Metodo sintatico de prova de teoremas: algoritmo de wang. Sao Carlos: Icmsc-Usp. -
NLM
Monard MC, Nicoletti MC. Metodo sintatico de prova de teoremas: algoritmo de wang. 1990 ;[citado 2024 abr. 16 ] -
Vancouver
Monard MC, Nicoletti MC. Metodo sintatico de prova de teoremas: algoritmo de wang. 1990 ;[citado 2024 abr. 16 ] - Implementação lógica de um motor de inferência com raciocínio backward chaining para a construção sistemas especialistas
- Implementação dos sistemas de representação de conhecimento sc
- Programas prolog para processamento de listas
- Learning boolean functions using prime: implicants as features
- Representacao de conhecimento
- Meta interpretadores PROLOG¹
- Ensino de computacao no brasil: contextualizacao, problemas e perspectivas
- Aprendizado de maquina: descricao e implementacao de um algoritmo geral para a construcao de arvores de decisao
- Perspective of brazilian women in computer science academia
- Organização e utilização das técnicas associadas a data mining
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
