Universidad Autónoma de Occidente

Principles of automated theorem proving /

David Cuffy

Principles of automated theorem proving / - 1 - Wiley

0471927848

Libros electrónicos

eLibro eLibro

Recursos de investigación libres

image host image host image host image host image host image host image host image host image host image host

Recursos informativos



TecNM | Tecnológico Nacional de México

© 2025 by Biblionexus