Universidad Autónoma de Occidente

Principles of automated theorem proving /

By: Publication details: WileyEdition: 1ISBN:
  • 0471927848
No physical items for this record

There are no comments on this title.

to post a comment.

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

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


TecNM | Tecnológico Nacional de México

© 2025 by Biblionexus