Propaganda
Hilbert II.
O objetivo de Hilbert II é a criação de um sistema que permite que um matemático de trabalho coloque os teoremas nele. ...
Coloque os teoremas ajudante matemático Cálculo predicado Hilbert. teoremas
Matemática :: Logic :: predicado
math :: Logic :: predicado é um módulo Perl para gerenciar e consultar um banco de dados de asserção de predicado. ...
consulta Módulo Perl. gerir Gerenciar asserção predicado asserção de previsão de consulta
TK :: Image :: Cálculo
TK :: Cálculo é uma extensão Perl para cálculos gráficos. ...
Cálculo do cálculo do evento discreto
Discrete Event Calculus Racalioner é um programa de código aberto para realizar o raciocínio automatizado de commissenses. ...
evento cálculo commonsense Raciocínio Discreto Cálculo do evento.
Módulo de cálculo Python Lambda
Python Lambda Calculus Modulus Project é um módulo simples, mas completo para explorar o Cálculo de Lambda. ...
nadadeira
Flipper é um programa que realiza a busca local randomizada de satisfomoção de 3 frases de pré-ex-variáveis. ...
procurando local Cálculo predicado Aplicação científica frases prenex