AAAAAA

   
Results: 1-3 |
Results: 3
A further and effective liberalization of the delta-rule in free variable semantic tableaux
Authors: Cantone, D Asmundo, MN
Citation: D. Cantone et Mn. Asmundo, A further and effective liberalization of the delta-rule in free variable semantic tableaux, LECT N A I, 1761, 2000, pp. 109-125
A new fast tableau-based decision procedure for an unquantified fragment of set theory
Authors: Cantone, D Zarba, CG
Citation: D. Cantone et Cg. Zarba, A new fast tableau-based decision procedure for an unquantified fragment of set theory, LECT N A I, 1761, 2000, pp. 126-136
Introduction to Slavoj Zizek and his article on Alfred Hitchcock
Authors: Cantone, D Scheu, R
Citation: D. Cantone et R. Scheu, Introduction to Slavoj Zizek and his article on Alfred Hitchcock, AUT AUT, (293-94), 1999, pp. 130-132
Risultati: 1-3 |