Automated reasoning : introduction and applications / Larry Wos...[et. al].
Material type: TextPublication details: New York : McGraw-Hill, 1992Edition: 2a. edDescription: xvi, 656 p. ; 24 cmISBN:- 0130544469
- QA76.9.A96 A93 1992
1 ejemplar
Recursos propios
Incluye bibliografias e indice
There are no comments on this title.