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

Contributor(s): Material type: TextTextPublication details: New York : McGraw-Hill, 1992Edition: 2a. edDescription: xvi, 656 p. ; 24 cmISBN:
  • 0130544469
Subject(s): LOC classification:
  • QA76.9.A96 A93 1992
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)
No physical items for this record

1 ejemplar

Recursos propios

Incluye bibliografias e indice

There are no comments on this title.

to post a comment.