Automated reasoning : introduction and applications / Larry Wos...[et. al].
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0130544469
- QA76.9.A96 A93 1992
1 ejemplar
Recursos propios
Incluye bibliografias e indice
There are no comments on this title.
1 ejemplar
Recursos propios
Incluye bibliografias e indice
There are no comments on this title.