Molle.
MOLLE č un prover a piattaforma multipiattaforma per la logica modale, che sfrutta il metodo Modal Semantic Tableaux ...
2.2 MB
MOLLE č un prover a piattaforma multipiattaforma per la logica modale, che sfrutta il metodo Modal Semantic Tableaux ...
2.2 MB
Chi siamo