3 libri in questo genere
Propositional logic
H. Kleine Büning
Combinatorial pattern matching
M. Crochemore
Algorithmes et structures de donne es ge ne riques
Michel Divay