Tu sei qui
Scheda docente
Vincenzo CUTELLO
Settore Scientifico Disciplinare: INF/01  INFORMATICA
Sede: SEDI DI CATANIA V.le A. Doria, 6
 Note biografiche:

 Attività:

 Pubblicazioni:

 Note:

 Collaboratori:
 Biography:
· Current Academic Position:
o February 2001Present : Full Professor of Computer Science
· Previous Academic Positions:
o November 1998 January 2001: Associate Professor of Computer Science, Faculty of Science, University of Catania, Italy.
o June 1994  October 1998: Assistant Professor of Computer Science, Faculty of Science, University of Catania, Italy.
o September 1996 – May 1997: Visiting Assistant Professor, Polytechnic University, Brooklyn, NY.
· Academic Appointments and Administrative Responsibilities:
o Current Academic Year: Chairman Doctoral Program in Computer Science, Dept. Math. and Comp.Science, University of Catania
o November 2007 December 2012: Chairman Graduate and Undergraduate Studies in Computer Science, Dept. Math. and Comp.Science, University of Catania
o November 2004  October 2010: Director of Research Center on Applied Computer Science, University of Catania.
o November 2004October 2007: Chairman of Undergraduate curriculum in Applied Computer Science
· Industrial and Research Experiences
o July 1992  May 1994: Head Researcher, Fuzzy Logic R&D Group, STMicroelectronics, Catania.
o January 1992  June 1992: Visiting Industrial Fellow at Berkeley Initiative on Soft Computing, UC at Berkeley, and Scientific Consultant for STMicroelectronics.
o January 1991 – December 1991: Post Doctoral Fellow, International Computer Science Institute, Berkeley, CA.
· Academic Qualifications:
o Computer Science:
§ Master of Science in Computer Science, New York University, June 1987
§ Ph.D. in Computer Science, New York University, February 1991.
o Mathematics:
§ “Laurea” in Mathematics, University of Catania, July 1984
§ Doctoral Degree in Mathematics, University of Catania, October 1990.
 Current Projects:

 Bibliography:

LIST OF PUBLICATIONS
 JOURNALS:
 V. Cutello, G. Morelli, G. Nicosia, M. Pavone, G. Scollo, On discrete models and immunological algorithms for protein structure prediction, Natural Computing, vol. 10(1), pg. 91102, 2011.
 V. Cutello, G. Nicosia, M. Pavone, I. Prizzi, Protein multiple sequence alignment by hybrid bioinspired algorithms, Nucleic acids research, vol. 29(6), pg. 19801992, 2011.
 V. Cutello, G. Nicosia, M. Pavone, J. Timmis, An immune algorithm for protein structure prediction on lattice models, IEEE Transactions on Evolutionary Computation, vol. 11, pg. 101117, 2007.
 V. Cutello, G. Nicosia, M. Pavone, An immune algorithm with stochastic aging and kullback entropy for the chromatic number problem, Journal of Combinatorial Optimization, vol. 14(1), pg. 933, 2007.
 A. Anile, V. Cutello, G. Narzisi, G. Nicosia, and S. Spinella, Determination of protein structure and dynamics combining immune algorithms and pattern search methods. Natural Computing, vol. 6(1), pg. 5572, 2007.
 V. Cutello, G. Narzisi, G. Nicosia, A multiobjective evolutionary approach to the protein structure prediction problem, Journal of The Royal Society Interface, vol. 3 (6), pg. 139151, 2006.
 T. Biondi, A. Ciccazzo, V. Cutello, S. D'Antona, G. Nicosia, S. Spinella, Multiobjective evolutionary algorithms and pattern search methods for circuit design problems, Journal of Universal Computer Science, vol. 12(4), pg. 432449, 2006.
 V. Cutello, G. Nicosia, R. Rascuna, S. Spinella, Optimising an inductor circuit and a twostage operational transconductance amplifier using evolutionary and classical algorithms, International Journal of Computational Science and Engineering, vol. 2(3), pg. 158169, 2006
 A. Del Amo, J. Montero, G. Biging, V. Cutello, Fuzzy classification systems, European Journal of Operational Research, vol. 156(2), pg. 495507, 2004
 D. Gómez, J. Montero, J. Yánez, J. GonzálezPachón, V. Cutello, Crisp dimension theory and valued preference relations, International Journal of General Systems, vol. 33(2), pg. 115131, 2004
 V. Cutello, J. Montero, Recursive connective rules, International Journal of Intelligent Systems, vol. 14(1), pg. 320, 1999.
 V. Cutello, J. Montero, Nondeterministic aggregation operators and systems, International Journal of Intelligent Systems, vol. 13(2), pg. 181192, 1998.
 V. Cutello, J. Montero, Equivalence and compositions of fuzzy rationality measures, Fuzzy sets and Systems, vol. 85(1), pg. 3143, 1997.
 J. Montero, J. Tejada, V. Cutello, A general model for deriving preference structures from data, European Journal of Operational Research, vol. 98(1), pg. 98110, 1997.
 V. Cutello, J. Montero, J. Yáñez , Structure functions with fuzzy states, Fuzzy sets and systems, vol. 83(2), pg. 189202, 1996.
 F. Bergadano, V. Cutello, Probably approximately correct learning in fuzzy classification systems, IEEE Transactions on Fuzzy Systems, vol. 3(4), pg. 473478, 1995.
 V. Cutello, J. Montero, Hierarchical aggregation of OWA operators: basic measures and related computational problems, International Journal of Uncertainty, Fuzziness and KnowledgeBased Systems, vol. 3(1), pg. 1726, 1995.
 V. Cutello, J. Montero, Hierarchies of intensity preference aggregations, International Journal of Approximate Reasoning, vol. 10(2), pg. 123133, 1994.
 V. Cutello, J. Montero, Fuzzy rationality measures, Fuzzy sets and Systems, vol. 62(1), pg. 3954, 1994.
 V. Cutello, J. Montero, Hierarchies of aggregation operators, International Journal of Intelligent Systems, vol. 9 (11), pg. 10251045,1994
 D. Cantone, V. Cutello, Decision algorithms for elementary topology I. Topological syllogistics with set and map constructs, connectedness, and cardinality comparison, Communications on Pure and Applied Mathematics, vol. 47(9), pg. 11971217, 1994
 V. Cutello, J. Montero, A characterization of rational amalgamation operations, International Journal of Approximate Reasoning, vol. 8(4), pg. 325344, 1993.
 D. Cantone, V. Cutello, Decision procedures for elementary sublanguages of set theory, Journal of Automated Reasoning, vol. 6(2), pg. 189201, 1990.
 EDITED BOOKS:
 C.C. Coello, V. Cutello, K. Deb, S. Forrest, and G. Nicosia, (Eds.), Proceedings of the 12th international conference on Parallel Problem Solving from Nature, SpringerVerlag, 2012.
 V. Cutello, G. Fotia, L. Puccio Ed., (Ed.), Applied and Industrial Mathematics in Italy II: Selected Contributions from the 8th SIMAI Conference, World Scientific, 2007.
 G. Nicosia, V. Cutello, P.J. Bentley, and J.I. Timmis, (Eds.), Artificial Immune Systems: Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 1316, 2004, Proceedings, Springer, 2004.
 BOOK CHAPTERS, LECTURE NOTES IN CS and INTERNATIONAL CONFERENCES PROCEEDINGS:
 V. Currò, V. Cutello, S.M. Nolassi, The Roman Domination Problem on Grid Graphs, MiddleEuropean Conference on Applied Theoretical Computer Science 2013 (MATCOS10), Koper, Slovenia, October, 2013.
 V. Cutello, A.G. De Michele, and M. Pavone, Escaping Local Optima via Parallelization and Migration, Nature Inspired Cooperative Strategies for Optimization (NICSO 2013), Springer Berlin Heidelberg, 2013, pp. 141152.
 J. Costanza, V. Cutello, and M. Pavone, A memetic immunological algorithm for resource allocation problem, Artificial Immune Systems, Springer Berlin Heidelberg, 2011, pp. 308320.
 D. Agostini, J. Costanza, V. Cutello, L. Zammataro, N. Krasnogor, M. Pavone, and G. Nicosia, Effective Calibration of Artificial Gene Regulatory Networks, 20th European Conference on Artificial Life (ECAL), Paris, France, August 812, 2011, MIT Press, 2011, pp. 3946.
 V. Cutello, G. Nicosia, M. Pavone, and G. Stracquadanio, An informationtheoretic approach for clonal selection algorithms, Artificial Immune Systems, Springer Berlin Heidelberg, 2010, pp. 144157.
 V. Cutello, G. Nicosia, M. Pavone, and G. Stracquadanio, Entropic divergence for population based optimization algorithms, Evolutionary Computation (CEC), 2010 IEEE Congress on, IEEE, 2010, pp. 18.
 V. Cutello, N. Krasnogor, G. Nicosia, M. Pavone, D. Agostini, J. Costanza, L. Zammataro, and J. Bacardit, Immune Algorithm versus Differential Evolution: a Comparative Case. Int. Conf. on Adaptive and Natural Computing Algorithms, ICANNGA 2439 (2009) 341350.
 V. Cutello, G. Narzisi, and G. Nicosia, Computational Studies of Peptide and Protein Structure Prediction Problems via Multiobjective Evolutionary Algorithms, Multiobjective Problem Solving from Nature, Springer Berlin Heidelberg, 2008, pp. 93114.
 V. Cutello, G. Nicosia, M. Romeo, and P.S. Oliveto, On the convergence of immune algorithms, Foundations of Computational Intelligence, 2007. FOCI 2007. IEEE Symposium on, IEEE, 2007, pp. 409415.
 V. Cutello, G. Nicosia, M. Pavone, and I. Prizzi, Proteomic Multiple Sequence Alignments: Refinement Using an Immunological Local Search. Applied and Industrial Mathematics in Italy Ii 75 (2007) 291302.
 V. Cutello, and G. Nicosia, Biomolecular structure prediction using immune inspired algorithms, In Silico Immunology, Springer US, 2007, pp. 235261.
 V. Cutello, N. Krasnogor, G. Nicosia, and M. Pavone, Immune algorithm versus differential evolution: A comparative case study using high dimensional function optimization, Adaptive and Natural Computing Algorithms, Springer Berlin Heidelberg, 2007, pp. 93101.
 V. Cutello, G. Nicosia, and M. Pavone, Real coded clonal selection algorithm for unconstrained global optimization using a hybrid inversely proportional hypermutation operator, Proceedings of the 2006 ACM symposium on Applied computing, ACM, 2006, pp. 950954.
 V. Cutello, G. Nicosia, and E. Pavia, A parallel immune algorithm for global optimization, Intelligent Information Processing and Web Mining, Springer Berlin Heidelberg, 2006, pp. 467475.
 V. Cutello, G. Nicosia, and P. Oliveto, Analysis of an evolutionary algorithm with hypermacromutation and stop at first constructive mutation heuristic for solving trap functions, Proceedings of the 2006 ACM symposium on Applied computing, ACM, 2006, pp. 945949.
 V. Cutello, and G. Nicosia, A clonal selection algorithm for coloring, hitting set and satisfiability problems, Neural Nets, Springer Berlin Heidelberg, 2006, pp. 324337.
 V. Cutello, and G. Nicosia, Sistemi immunitari artificiali: nuovo paradigma computazionale per l'ottimizzazione e la bioinformatica. Sistemi intelligenti 18 (2006) 4754.
 V. Cutello, G. Narzisi, G. Nicosia, and M. Pavone, An immunological algorithm for global numerical optimization, Artificial Evolution, Springer Berlin Heidelberg, 2006, pp. 284295.
 V. Cutello, G. Narzisi, G. Nicosia, and M. Pavone, Real coded clonal selection algorithm for global numerical optimization using a new inversely proportional hypermutation operator, 21st ACM SAC (2006) 950954.
 V. Cutello, D. Lee, G. Nicosia, M. Pavone, and L. Prizzi, Optimization Type of ApplicationAligning Multiple Protein Sequences by Hybrid Clonal Selection Algorithm with InsertRemoveGaps and BlockShuffling Operators. Lecture Notes in Computer Science 4163 (2006) 321334.
 V. Cutello, D. Lee, G. Nicosia, M. Pavone, and I. Prizzi, Aligning multiple protein sequences by hybrid clonal selection algorithm with insertremovegaps and blockshuffling operators, Artificial Immune Systems, Proceedings, Springer Berlin Heidelberg, 2006, pp. 321334.
 V. Cutello, D. Lee, S. Leone, G. Nicosia, and M. Pavone, Clonal selection algorithm with dynamic population size for bimodal search spaces, Advances in Natural Computation, Springer Berlin Heidelberg, 2006, pp. 949958.
 A.M. Anile, V. Cutello, G. Narzisi, G. Nicosia, and S. Spinella, Lipschitzian pattern search and immunological algorithm with quasiNewton method for the protein folding problem: An innovative multistage approach. Neural Nets, Springer Berlin Heidelberg, 3931 (2006) 307323.
 V. Cutello, G. Narzisi, G. Nicosia, and M. Pavone, Clonal selection algorithms: a comparative case study using effective mutation potentials, Artificial Immune Systems, Proceedings, Springer Berlin Heidelberg, 2005, pp. 1328.
 V. Cutello, G. Narzisi, and G. Nicosia, A class of Pareto archived evolution strategy algorithms using immune inspired operators for abinitio protein structure prediction, Applications of Evolutionary Computing, Proceedings, Springer Berlin Heidelberg, 2005, pp. 5463.
 V. Cutello, G. Morelli, G. Nicosia, and M. Pavone, Immune algorithms with aging operators for the string folding problem and the protein folding problem, Evolutionary Computation in Combinatorial Optimization, Springer Berlin Heidelberg, Proceedings, 2005, pp. 8090.
 A.M. Anile, V. Cutello, G. Nicosia, R. Rascuna, and S. Spinella, Comparison among evolutionary algorithms and classical optimization methods for circuit design problems, IEEE Congress on Evolutionary Computation, 2005, IEEE, 2005, pp. 765772.
 V. Cutello, G. Nicosia, and M. Pavone, Exploring the capability of immune algorithms: A characterization of hypermutation operators, Artificial Immune Systems, Proceedings, Springer Berlin Heidelberg, 2004, pp. 263276.
 V. Cutello, G. Nicosia, and M. Pavone, An immune algorithm with hypermacromutations for the Dill's 2D hydrophobichydrophilic model, Evolutionary Computation, 2004. CEC2004. Congress on, IEEE, 2004, pp. 10741080.
 V. Cutello, and G. Nicosia, The clonal selection principle for in silico and in vitro computing. L.N. De Castro, F.J. Von Zuben Eds, Recent developments in biologically inspired computing, Idea Publishing, 2004, pg. 104146.
 V. Cutello, G. Narzisi, G. Nicosia, M. Pavone, and G. Sorace, How to escape traps using clonal selection algorithms. The First International Conference on Informatics in Control, Automation and Robotics, ICINCO 2004 (2004) 322326.
 V. Cutello, and F. Pappalardo, The hitting set problem and evolutionary algorithmic techniques with adhoc viruses (HEATV), Genetic and Evolutionary Computation‚GECCO 2003, Proceedings, Springer Berlin Heidelberg, 2003, pp. 15701571.
 V. Cutello, G. Nicosia, and M. Pavone, A hybrid immune algorithm with information gain for the graph coloring problem, Genetic and Evolutionary Computation, GECCO 2003, Proceedings, Springer Berlin Heidelberg, 2003, pp. 171182.
 V. Cutello, and G. Nicosia, Noisy Channel and ReactionDiffusion Systems: Models for Artificial Immune Systems, KnowledgeBased Intelligent Information and Engineering Systems, Springer Berlin Heidelberg, 2003, pp. 496502.
 A. Cincotti, V. Cutello, and F. Pappalardo, An antalgorithm for the weighted minimum hitting set problem, Proceedings of the 2003 IEEE Swarm Intelligence Symposium, SIS'03, IEEE, 2003, pp. 15.
 J. Montero, J. Yanez, D. Gomez, J. GonzalezPachon, and V. Cutello, Underlying criteria in valued preference relations, in Computational Intelligent Systems for Applied Research (2002), World Scientific, pp. 8996.
 V. Cutello, and G. Nicosia, An immunological approach to combinatorial optimization problems, Advances in Artificial Intelligence‚ IBERAMIA 2002, Springer Berlin Heidelberg, 2002, pp. 361370.
 V. Cutello, and G. Nicosia, Multiple learning using immune algorithms. Proceedings of 4th International Conference on Recent Advances in Soft Computing, RASC (2002) 102107.
 V. Cutello, E. Mastriani, and F. Pappalardo, An evolutionary algorithm for the Minimum Hitting Set Problem. Proceedings of the 3rd WSEAS International Conference on Evolutionary Computation (EC'02), Interlaken, Switzerland, February 2002.
 V. Cutello, E. Mastriani, and F. Pappalardo, An evolutionary algorithm for the Tconstrained variation of Minimum Hitting Set problem, Proceedings of the 2002 IEEE Congress on Evolutionary Computation, CEC'02, IEEE, 2002, pp. 366371.
 A. Cincotti, V. Cutello, and G. Sorace, SPEED: a Simple Parameterized Environment for Evolutionary Defuzzification, Proceedings of the 3rd WSEAS International Conference on Evolutionary Computation (EC 2002), Interlaken, Switzerland, February 2002.
 A. Cincotti, V. Cutello, and G. Sorace, Mirror strategy in game playing: Combining fuzzy sets and genetic algorithm to improve strategies. Computational Intelligent Systems for Applied Research (2002), World Scientific, pp. 105112.
 A. Cincotti, V. Cutello, and M. Pavone, Graph partitioning using genetic algorithms with ODPX, Proceedings of the 2002 IEEE Congress on Evolutionary Computation, CEC'02, IEEE, 2002, pp. 402406.
 A. Cincotti, V. Cutello, and G. Sorace, Combining Fuzzy Sets and Genetic Algorithms for improving strategies in Game Playing, Problems in Applied Mathematics and Computational Intelligence, WSES Press, 2001.
 A. Cincotti, V. Cutello, and G. Sorace, Optimizing game strategies using Genetic Algorithms in a multicoach framework, Problems in Applied Mathematics and Computational Intelligence, WSES Press, 2001.
 G. Giuffrida, and V. Cutello, A proposal for a model for dealing with valuebased data dependencies to improve the rule discovery process, The Ninth IEEE International Conference on Fuzzy Systems, FUZZ IEEE 2000, IEEE, 2000, pp. 10251028.
 V. Cutello, and J. Montero, An extension of the axioms of utility theory based on fuzzy rationality measures. Studies in Fuzziness and Soft Computing 51 (2000) 3350.
 V. Cutello, E. Mastriani, and F. Pappalardo, Piranha Audit: A kernel enhancements and utilities to improve audit/logging. Usenix Association Proceedings of the 4th Annual Linux Showcase and Conference, Atlanta (2000) 261269.
 F. Bergadano, V. Cutello, and D. Gunetti, Abduction in machine learning, Handbook of defeasible reasoning and uncertainty management systems, Kluwer Academic Publishers, 2000, pp. 197229.
 A. del Amo, J. Montero, and V. Cutello, On the principles of fuzzy classification, Fuzzy Information Processing Society, 1999. NAFIPS. 18th International Conference of the North American, IEEE, 1999, pp. 675679.
 V. Cutello, and J. Montero, Fuzzy rationality and utility theory axioms, Fuzzy Information Processing Society, 1999. NAFIPS. 18th International Conference of the North American, IEEE, 1999, pp. 332336.
 S. Cafiso, G. La Cava, and V. Cutello, A fuzzy model for road accidents analysis, Fuzzy Information Processing Society, 1999. NAFIPS. 18th International Conference of the North American, IEEE, 1999, pp. 139143.
 J. Montero, J. Yanez, and V. Cutello, On the dimension of fuzzy preference relations. Proc. Internat. ICSC Symposium Engineering of Intelligent Systems 3 (1998) 2833.
 V. Cutello, and R.R. Yager, Fuzzy typical values and sets defined from statistical data. Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry: Proceedings of the 3rd International FLINS Workshop, Antwerp, Belgium, 1416 September 1998, pp. 4451.
 V. Cutello, and J. Montero, Intelligent agents, fuzzy preferences and utility, Proceedings of IPMU'98, Information Processing and Management of Uncertainty in KnowledgeBased Systems, July 1998, Paris, France., 1998, pp. 146151.
 V. Cutello, and J. Montero, Aggregation Operators for Fuzzy Rationality Measures, Aggregation and Fusion of Imperfect Information, PhysicaVerlag HD, 1998, pp. 98105.
 J. Montero, and V. Cutello, Aggregation rules in committee procedures, The ordered weighted averaging operators, Springer US, 1997, pp. 219237.
 V. Cutello, and R.R. Yager, Fuzzy sets over evolving universes. 1997 Annual Meeting of the North American Fuzzy Information Processing Society (Nafips), 1997, pp 377382.
 V. Cutello, and J. Montero, Non deterministic fuzzy classification systems, Proceedings of the Sixth IEEE International Conference on Fuzzy Systems, IEEE, 1997, pp. 16891694.
 V. Cutello, E. Molina, and J. Montero, Associativeness versus recursiveness, Proceedings of IEEE 26th International Symposium on MultipleValued Logic, IEEE, 1996, pp. 154159.
 V. Cutello, E. Molina, and J. Montero, Binary operators and connective rules, Fuzzy Information Processing Society, 1996. NAFIPS. 1996 Biennial Conference of the North American, IEEE, 1996, pp. 4649.
 J. Montero, J. Tejada, and V. Cutello, Fuzzy preferences in knowledgebased systems. Foundations and Applications of Possibility Theory (1995), 316321.
 V. Cutello, and J. Montero, Information Aggregation: Ethical and Computational Issues, Fuzzy Set Theory and Advanced Mathematical Applications, Springer US, 1995, pp. 175200.
 V. Cutello, and J. Montero, The associativity problem for owa operators. Proceedings of 6th International Fuzzy Systems Association World Congress 1 (1995) 149152.
 V. Cutello, and J. Montero, The computational problems of using OWA operators. Fuzzy Logic and Soft Computing. World Scientific, Singapore (1995) 166172.
 V. Cutello, and J. Montero, Computational problems of the hierarchical aggregation of OWA operators. Proceedings of the 5th Internation IPMU Conference (1994) 407411.
 V. Cutello, and J. Montero, Recursive families of OWA operators, Proceedings of the Third IEEE Conference on Fuzzy Systems, 1994. IEEE World Congress on Computational Intelligence, IEEE, 1994, pp. 11371141.
 V. Cutello, and J. Montero, Reliability structure functions based upon fuzzy numbers, Proceedings of the Third IEEE Conference on Fuzzy Systems, 1994. IEEE World Congress on Computational Intelligence, IEEE, 1994, pp. 20462050.
 V. Cutello, and J. Montero, Equivalence of fuzzy rationality measures. H.. I. Zimmermann, Ed., Proceedings of EUFIT'93, Aachen, Germany. 1 (1993) 344350.
 V. Cutello, and J. Montero, An axiomatic approach to fuzzy rationality, Proceedings of IFSA'93, Seoul, Korea, 1993, pp. 634636.
 D. Cantone, and V. Cutello, Decision procedures for stratified settheoretic syllogistics, Proceedings of the 1993 international symposium on Symbolic and algebraic computation, ACM, 1993, pp. 105110.
 F. Bergadano, and V. Cutello, Learning membership functions, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer Berlin Heidelberg, 1993, pp. 2532.
 V. Cutello, and J. Montero, A model for amalgamation in group decision making. Proceedings of NAFIPS 92 (1992) 215223.
 V. Cutello, On the satisfiability problem for unquantified classes of formulae involving settheoretical and topological constructs. (1991).
 D. Cantone, V. Cutello, and J.T. Schwartz, Decision problems for Tarski and Presburger arithmetics extended with sets, Computer Science Logic, Lecture Notes in Computer Science 533, Springer Berlin Heidelberg, 1991, pp. 95109.
 V. Cutello, and A. Policriti, On the Complexity of the Satisfiability Problem for an Unquantified Theory Involving Basic Notions of Real Plane Topology. Algorithms and Complexity (1990) 129147.
 V. Cutello, Automated deduction in Topology: two different approaches. Le Matematiche 43 (1990) 225246.
 D. Cantone, V. Cutello, and A. Policriti, SetTheoretic Reductions of Hilberts 10th Problem. Csl 89 440, Lecture Notes in Computer Science 440 (1990) 6575.
 D. Cantone, and V. Cutello, A decidable fragment of the elementary theory of relations and some applications, Proceedings of the international symposium on Symbolic and algebraic computation, ACM, 1990, pp. 2429.
 D. Cantone, V. Cutello, and A. Ferro, Decision Procedures for Elementary Sublanguages of SetTheory .14. 3 Languages Involving Rank Related Constructs. Lecture Notes in Computer Science 358 (1989) 407422.
 Notes:

 A.A. 2016/2017  Informatica  1 anno
INTELLIGENZA ARTIFICIALE E LABORATORIO
Insegnamenti tenuti presso altri dipartimenti
 A.A. 2016/2017  Psicologia  2 anno
SCIENZE COGNITIVE
Clicca qui per accedere all'area riservata