Improved prolog implementation of wang's theorem prover algorithm (1993)
- Autores:
- Autor USP: MONARD, MARIA CAROLINA - ICMC
- Unidade: ICMC
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Idioma: Inglês
- Fonte:
- Título do periódico: Advances in Modelling & Analysis
- Volume/Número/Paginação/Ano: v.25, n.1 , p.55-64, 1993
-
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis, v. 25, n. 1 , p. 55-64, 1993Tradução . . Acesso em: 18 abr. 2024. -
APA
Monard, M. C., & Nicoletti, M. C. (1993). Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis, 25( 1 ), 55-64. -
NLM
Monard MC, Nicoletti MC. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis. 1993 ;25( 1 ): 55-64.[citado 2024 abr. 18 ] -
Vancouver
Monard MC, Nicoletti MC. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis. 1993 ;25( 1 ): 55-64.[citado 2024 abr. 18 ] - 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