With Bell polynomials and symbolic computation, this paper investigates the (3+1)-dimensional Jimbo-Miwa equation, which is one of the equations in the Kadomtsev-Petviashvili hierarchy of integrable systems. We derive a bilinear form and construct a bilinear Bäcklund transformation (BT) for the (3+1)-dimensional Jimbo-Miwa equation, by virtue of which the soliton solutions are obtained. Bell-polynomial-typed BT is also constructed and cast into the bilinear BT.