A Logical and Computational Theory of Located Resource | UPT Perpustakaan UHAMKA