Improved prolog implementation of wang's theorem prover algorithm (1993)
- Authors:
- Autor USP: MONARD, MARIA CAROLINA - ICMC
- Unidade: ICMC
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Language: Inglês
- Source:
- Título: 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: 09 jan. 2026. -
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 2026 jan. 09 ] -
Vancouver
Monard MC, Nicoletti MC. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis. 1993 ;25( 1 ): 55-64.[citado 2026 jan. 09 ] - Improving the kernel regularized least squares method for small-sample regression
- Feature subset selection for supervised learning using fractal dimension
- Um sistema computacional para avaliar e interpretar os clusters gerados em diferentes níveis da hierarquia
- Utilizando uma abordagem híbrida para interpretação do clustering hierárquico
- Combining unigrams and bigrams in semi-supervised text classification
- O papel da inferência seletiva em aprendizado de máquina
- A study on the selection of local training sets for hierarchical classification tasks
- A fuzzy decision tree algorithm based on C4.5
- Evaluating ReliefF-based multi-label feature selection algorithm
- A framework for multi-label exploratory data analysis: ML-EDA
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
