La Macchina di Turing

A DPOP implementation for solving DCOP problems. It uses a simple textual input format, initially developed for describing Multi Robot P...

Già sapete che JavaCC è un generatore di parser/analizzatori lessicali, quindi passiamo oltre. 1. Create dunque una directory, esempio j...

TeePee is a simple theorem prover for CNF FOL formulae. It doesn't aim to be a fully featured prover (like Prover9, E and others) but r...

In this post I will present a program for checking the satisfiability of formulae in the list theory, that I developed as a project for a co...

Una Smart Card! (da Wikipedia) An overview (in Italian) of Smart Cards’ Security. It covers power analysis as well as other physical...