Matches in Library of Congress for { <http://lccn.loc.gov/94132457> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 94132457 contributor B7264837.
- 94132457 created "1993.".
- 94132457 date "1993".
- 94132457 date "1993.".
- 94132457 dateCopyrighted "1993.".
- 94132457 description "Includes bibliographical references (p. [147]-157) and index.".
- 94132457 extent "xiii, 165 p. :".
- 94132457 identifier "052141718X :".
- 94132457 identifier 94132457.html.
- 94132457 identifier 94132457.html.
- 94132457 isPartOf "Cambridge tracts in theoretical computer science ; 31".
- 94132457 issued "1993".
- 94132457 issued "1993.".
- 94132457 language "eng".
- 94132457 publisher "Cambridge ; New York : Cambridge University Press,".
- 94132457 subject "621.39/2 20".
- 94132457 subject "Integrated circuits Very large scale integration Data processing.".
- 94132457 subject "Logic, Symbolic and mathematical.".
- 94132457 subject "TK7874 .M432 1993".
- 94132457 title "Higher order logic and hardware verification / T. Melham.".
- 94132457 type "text".