Matches in Library of Congress for { <http://lccn.loc.gov/89006049%2F%2Fr94> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 89006049%2F%2Fr94 contributor B5846914.
- 89006049%2F%2Fr94 created "c1989.".
- 89006049%2F%2Fr94 date "1989".
- 89006049%2F%2Fr94 date "c1989.".
- 89006049%2F%2Fr94 dateCopyrighted "c1989.".
- 89006049%2F%2Fr94 description "Includes bibliographical references and index.".
- 89006049%2F%2Fr94 extent "viii, 489 p. :".
- 89006049%2F%2Fr94 identifier "0387969888 (alk. paper)".
- 89006049%2F%2Fr94 issued "1989".
- 89006049%2F%2Fr94 issued "c1989.".
- 89006049%2F%2Fr94 language "eng".
- 89006049%2F%2Fr94 publisher "New York : Springer-Verlag,".
- 89006049%2F%2Fr94 subject "621.395 19".
- 89006049%2F%2Fr94 subject "Automatic theorem proving.".
- 89006049%2F%2Fr94 subject "Integrated circuits Verification.".
- 89006049%2F%2Fr94 subject "Integrated circuits Very large scale integration Design and construction.".
- 89006049%2F%2Fr94 subject "TK7874 .C85 1989".
- 89006049%2F%2Fr94 title "Current trends in hardware verification and automated theorem proving / G. Birtwistle, P.A. Subrahmanyam, editors.".
- 89006049%2F%2Fr94 type "text".