Formalism (Deductive): 18 Items found

Pascal

Otimização De Métodos De Prova Em Tablôs Ke Através Da Aplicação De Uma Heurística Baseada Em Algoritmos Genéticos

Ia-u4-a1-sistema Experto Jurídico Prolog-david Sánchez

J.r. Lucas, Minds, Machines And Gödel, Philosophy Vol. 36 (1961)

Ficha 2, Orden Y Comparación De Cantidades

Krzysztof Wieczorek - Logika Dla Opornych (1)