AAAAAA

   
Results: 1-2 |
Results: 2
Logical Cryptanalisys as a SAT Problem
Authors: F.Massacci,L.Marraro
Citation: F.massacci,l.marraro, Logical Cryptanalisys as a SAT Problem, Journal of automated reasoning , 24(1/2), 2000, pp. 165-203
Single Step Tableaux for Modal Logics
Authors: F.Massacci
Citation: F.massacci, Single Step Tableaux for Modal Logics, Journal of automated reasoning , 24(3), 2000, pp. 319-364
Risultati: 1-2 |