Annuncio pubblicitario
Math :: Logica :: Predicato
Math :: Logic :: Predicato è un modulo Perl per gestire e interrogare un database di asserzione predicato. ...
domanda modulo Perl maneggio gestire l'asserzione predicata interrogazione predicato asserzione
Molle.
MOLLE è un Prover Platform per la logica modale. ...
Interactive. rappresentazione Rappresentazione interattiva Modelli generati logica modale
Logica di partizione
La logica di partizione è uno strumento di partizionamento standalone per computer compatibili con PC. ...
Attrezzo indipendente, autonomo Partizionamento Partizionamento autonomo Strumento di partizionamento
Forma di logica gratuita
Free Logic Form è un sistema per generare moduli logici di frasi inglesi. ...