Resultados da pesquisa

...a computação sobre raciocínio automatizado em nível de mestrado entre 1995 e 2001. Presumiu-se que o aluno tinha pelo menos um curso de formação em l� ...e modelos, respostas, modelo mínimo, árvores de regras, computação Prolog e extração de provas como árvores de regras. O material desta seção é u

2.3 [[Quebra-cabeças das Torres de Hanói]] 2.6 [[Dados e relações em árvores]]

2.3 [[Special:MyLanguage/Quebra-cabeças das Torres de Hanói|Towers of Hanoi puzzle]] 2.6 [[Special:MyLanguage/Dados e relações em árvores|Tree data and relations]]