Automated theorem proving: theory and practice

Detalles Bibliográficos
Autor Principal: Newborn, Monty
Formato: Printed Book
Idioma:English
Publicado: New York Springer 2001
Subjects:
Automated theorem proving > AI (Artificial intelligence) > Electronic brains > Intelligence, Artificial > Machine intelligence > Artificial intelligence > Expert systems > Bionics > Electronic data procressing

Títulos similares

Títulos similares