formalized computer

形式化計算機

學術名詞

• 形式化計算機：資訊