Limit/Sort Search
     
Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-4 of 4)
McRobbie, M. A. (Michael A.)
1
E-book
1996

Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 - August 3, 1996 Proceedings


International Conference on Automated Deduction (13th : 1996 : New Brunswick, N.J.)



Rating:

 
Electronic Resources
2
Book
1988

Automated theorem-proving in non-classical logics


Thistlewaite, Paul B.

London : Pitman ; New York : Wiley, 1988

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Thi/Atp  AVAILABLE
3
Book
1980

Environmental philosophy




[Canb.] : Dept. of Philosophy, Research School of Social Sciences, A.N.U., 1980

Rating:

Request It 
 
Location Call no. Vol. Availability
 WATERFT  304.2 Man/Eph  AVAILABLE
4
Book
2001

EDUCAUSE in Australasia 2001 : the power of three - bringing together teaching and learning, library and information technology


EDUCAUSE in Australasia (2001 : Marriott Surfers Paradise Resort, Qld.)

[Sydney] : [Educause], [2001]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  378.9 Edu/Eia 2001  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results
Limit/Sort Search