Research Groups and Centers Logic and Foundations Math


Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.








    Top: Science: Math: Logic and Foundations

Research Groups and Centers


See Also:
  • (Israel) Haifa - Logic Seminar.
  • (Colombia) Bogotá - Logic at Bogotá (Universidad Nacional de Colombia, Universidad logic and foundations de los Andes).
  • (Israel) Ben Gurion University of the Negev - Mathematical and Computational Logic Research Group.
  • (Australia) Canberra - Automated Reasoning Group. Publications, software, meetings, links. Research logic and foundations areas: mathematical properties of non-classical logics; algorithms for reasoning in logic and foundations classical and non-classical systems.
  • (Japan) Kobe - Foundations of Mathematics and Computer Science.


   MySQL - Cache Direct


  
Twitter