 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
(Australia) Canberra
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
(Israel) Ben Gurion University of the Negev
Mathematical and Computational Logic Research Group.
|
|
||
 |
|||