Matches in Library of Congress for { <http://lccn.loc.gov/91008815> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 91008815 contributor B6358764.
- 91008815 contributor B6358765.
- 91008815 created "1991.".
- 91008815 date "1991".
- 91008815 date "1991.".
- 91008815 dateCopyrighted "1991.".
- 91008815 description "Includes bibliographical references.".
- 91008815 extent "xii, 628 p. :".
- 91008815 identifier "0821865943 (AMS : alk. paper)".
- 91008815 identifier "0897913868 (ACM : alk. paper)".
- 91008815 isPartOf "DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 3.".
- 91008815 issued "1991".
- 91008815 issued "1991.".
- 91008815 language "eng".
- 91008815 publisher "Providence, RI : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery,".
- 91008815 subject "621.381/5 20".
- 91008815 subject "Digital integrated circuits Computer-aided design Congresses.".
- 91008815 subject "Integrated circuits Verification Congresses.".
- 91008815 subject "TK7874 .D553 1990".
- 91008815 title "Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors.".
- 91008815 type "text".