tag : computational logics

2 journals & series  /  Giovanni Ciatto
book Journal of Logic and Computation (JLC)
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
[ tag cloud  /  Giovanni Ciatto  /  journals & series ]