Automated reasoning : introduction and applications / Larry Wos ... [et al.].

Contributor(s): Material type: TextTextPublication details: Englewood Cliffs, NJU. : Prentice-Hall, c1984Edition: 1a edDescription: xiv, 482 p. : il. ; 23 cmISBN:
  • 0130544531
Subject(s): LOC classification:
  • QA76.9.A96  A88 1984
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Barcode
Libro Libro Biblioteca de la Facultad de Ingeniería Eléctrica General QA76.9.A96 A88 1984 (Browse shelf(Opens below)) C:1 Available BIE000001711

Incluy bibliografias e índice

There are no comments on this title.

to post a comment.