4 found
Sort by:
  1. M. A. Mcrobbie & J. K. Slaney (1996). Automated Deduction Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings. [REVIEW]
    No categories
     
    My bibliography  
     
    Export citation  
  2. Paul B. Thistlewaite, M. A. Mcrobbie & Robert K. Meyer (1988). Automated Theorem-Proving in Non-Classical Logics. Monograph Collection (Matt - Pseudo).
    No categories
     
    My bibliography  
     
    Export citation  
  3. D. S. Mannison, M. A. McRobbie & Richard Sylvan (eds.) (1980). Environmental Philosophy. Dept. Of Philosophy, Research School of Social Sciences, Australian National University.
     
    My bibliography  
     
    Export citation  
  4. M. A. Mcrobbie (1977). TAKEUTI, G.: "Proof Theory". [REVIEW] Australasian Journal of Philosophy 55:161.
    No categories
     
    My bibliography  
     
    Export citation