Matches in Library of Congress for { <http://lccn.loc.gov/92017047> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 92017047 contributor B6631387.
- 92017047 contributor B6631388.
- 92017047 created "1992.".
- 92017047 date "1992".
- 92017047 date "1992.".
- 92017047 dateCopyrighted "1992.".
- 92017047 description "Includes bibliographical references.".
- 92017047 extent "xi, 360 p. :".
- 92017047 identifier "0444896864 (acid-free paper)".
- 92017047 isPartOf "IFIP transactions. A, Computer science and technology, 0926-5473 ; A-10".
- 92017047 issued "1992".
- 92017047 issued "1992.".
- 92017047 language "eng".
- 92017047 publisher "Amsterdam ; New York : North-Holland,".
- 92017047 subject "621.39/2 20".
- 92017047 subject "Automatic theorem proving Congresses.".
- 92017047 subject "Integrated circuits Very large scale integration Computer-aided design Congresses.".
- 92017047 subject "TK7874 .I3278 1992".
- 92017047 title "Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992 / edited by V. Stavridou, T.F. Melham, R.T. Boute.".
- 92017047 type "text".