Automated reasoning : introduction and applications /

Detalles Bibliográficos
Autor principal: Wos, Larry (Autor/a)
Otros Autores: Overbeek, Ross (Autor/a), Lusk, Ewing (Autor/a), Boyle, Jim (Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Englewood Cliffs, N.J. : Prentice Hall, 1984.
Materias:

Ejemplares similares