Jump to main content

yr 〜
yr

Search results 4

Environmental philosophy

Environmental philosophy
Digital図書
edited by D.S. Mannison, M.A. McRobbie, R. RoutleyUT Back-in-Print Service1980
Other Libraries in Japan
  • Author HeadingMannison, D. S. (Don S.) McRobbie, M. A. (Michael A.) Routley, Richard

Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
Paper図書
M.A. McRobbie, J.K. Slaney, (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction McRobbie, M. A. (Michael A.) Slaney, John K.

Automated theorem-proving in non-classical logics : Pitman : Wiley

Automated theorem-proving in non-classical logics : Pitman : Wiley
Paper図書
Paul B. Thistlewaite, Michael A. McRobbie and Robert K. MeyerPitman1988
Other Libraries in Japan
  • Author HeadingThistlewaite, Paul B McRobbie, M. A. (Michael A.) Meyer, Robert K

Environmental philosophy pbk.

Environmental philosophy pbk.
Digital図書
edited by D.S. Mannison, M.A. McRobbie, R. RoutleyDept. of Philosophy, Research School of Social Sciences, Australian National University1980
Other Libraries in Japan
  • Author HeadingMannison, D. S. (Don S.) McRobbie, M. A. (Michael A.) Routley, Richard

Reached to the end of result.

RSS