Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Materias

• Computational intelligence

Ediciones (2)

• Martin Davis on Computability, Computational Logic, and Mathematical Foundations (2018)

  Springer · ISBN 9783319824437

• Martin Davis on Computability, Computational Logic, and Mathematical Foundations (2017)

  Springer · ISBN 9783319418414

Más obras de Eugenio G. Omodeo

Computational Logic and Set Theory