语系
Omodeo, Eugenio G.
概要
作品: | 0 作品在 1 项出版品 1 种语言 |
---|
书目信息
Martin Davis on computability, computational logic, and mathematical foundations[electronic resource] /
by:
Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service)
(书目-语言数据,印刷品)