Matches in Library of Congress for { <http://lccn.loc.gov/95005971> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 95005971 contributor B7449818.
- 95005971 contributor B7449819.
- 95005971 created "c1995.".
- 95005971 date "1995".
- 95005971 date "c1995.".
- 95005971 dateCopyrighted "c1995.".
- 95005971 extent "viii, 303 p. :".
- 95005971 identifier "0387590471 (New York : acid-free paper)".
- 95005971 identifier "3540590471 (Berlin : acid-free paper)".
- 95005971 identifier 95005971-d.html.
- 95005971 isPartOf "Lecture notes in computer science ; 901".
- 95005971 issued "1995".
- 95005971 issued "c1995.".
- 95005971 language "eng".
- 95005971 publisher "Berlin ; New York : Springer-Verlag,".
- 95005971 subject "621.39/2 20".
- 95005971 subject "Automatic theorem proving Congresses.".
- 95005971 subject "Digital integrated circuits Computer-aided design Congresses.".
- 95005971 subject "TK7874.65 .T54 1995".
- 95005971 title "Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds.".
- 95005971 type "text".