Is the semigroup M(n, Z) finitely presented? If so, where can I find a presentation of it?

Assuming by M(n, Z) you mean the semigroup (monoid) of n × n matrices over the integers under multiplication: no, it is not even finitely generated, because the determinant M(n, Z) → Z is multiplicative (Z denoting the monoid of integers under multiplication) and Z is not finitely generated (by the infinitude of primes).