Metodo sintatico de prova de teoremas: algoritmo de wang (1990)
- Autores:
- Autor USP: MONARD, MARIA CAROLINA - ICMC
- Unidade: ICMC
- Assunto: CIÊNCIA DA COMPUTAÇÃO
- Idioma: Português
- Imprenta:
- Editora: Icmsc-Usp
- Local: Sao Carlos
- Data de publicação: 1990
-
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Metodo sintatico de prova de teoremas: algoritmo de wang. . Sao Carlos: Icmsc-Usp. . Acesso em: 29 mar. 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 mar. 29 ] -
Vancouver
Monard MC, Nicoletti MC. Metodo sintatico de prova de teoremas: algoritmo de wang. 1990 ;[citado 2024 mar. 29 ] - 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
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas