ヘルプ
ヘルプ

検索結果 1 件

Computation, proof, machine : mathematics enters a new age : hardback

Computation, proof, machine : mathematics enters a new age : hardback
紙図書
Gilles Dowek ; translated from the French by Pierre Guillot and Marion RomanCambridge University Press2015
全国の図書館
  • ISBN9780521118019

検索結果は以上です。