4
Published 1998
Springer Berlin Heidelberg
... Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26...

7
Published 2013
Springer Berlin Heidelberg
... in Canberra, Australia, in September 2013. The 14 technical full papers presented were carefully reviewed...

9
by Gable, Guy G.
Published 2008
ANU E Press

10
by Sagi, Ishai
Published 2013
Sams
..., Extelligent Design, which is Canberra, Australia's leading SharePoint consultancy. Sagi has worked...