Tools

LEADER 01719cam a2200385 a 4500

001 ocm32049817;

003 OCoLC;

005 20141212120449.0;

008 950202s1995 gw a b 100 0 eng ;

010 a| 95005971;

020 a| 3540590471 (Berlin : acid-free paper);

020 a| 0387590471 (New York : acid-free paper);

035 a| (Sirsi) o32049817;

035 a| (OCoLC)32049817;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| TK7874.65b| .T54 1995;

082 00 a| 621.39/22| 20;

245 00 a| Theorem provers in circuit design :b| theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /c| Ramayya Kumar, Thomas Kropf, eds.;

300 a| viii, 303 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 901;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

650 0 a| Computer-aided designv| Congresses.=| ^A464450;

700 1 a| Kumar, Ramayya,d| 1957-=| ^A369416;

700 1 a| Kropf, Thomas,d| 1961-=| ^A369417;

711 2 a| International Conference on Theorem Provers in Circuit Designn| (2nd :d| 1994 :c| Bad Herrenalb, Germany)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 901.=| ^A466336;

596 a| 1;

998 a| 584172;

999 a| TK7874.65 .T54 1995w| LCc| 1i| 30372009180149d| 4/3/2013f| 4/3/2013g| 3l| JGESm| JOYNERp| $56.00r| Ys| Yt| JGESBKu| 9/18/1995x| BOOKz| JSTACKSo| .STAFF. 0;

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.

Other author	Kumar, Ramayya, 1957-
Other author	Kropf, Thomas, 1961-
Other author	International Conference on Theorem Provers in Circuit Design 1994 : Bad Herrenalb, Germany)
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1995.
Description	viii, 303 pages : illustrations ; 24 cm.
Subjects	Digital integrated circuits--Design and construction. --Data processing. --Congresses. Automatic theorem proving--Congresses. Computer-aided design--Congresses.

Series	Lecture notes in computer science ; 901 Lecture notes in computer science 901. ^A466336
LCCN	95005971
ISBN	3540590471 (Berlin : acid-free paper)
ISBN	0387590471 (New York : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK7874.65 .T54 1995	✔ Available	Place Hold

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.

Click here for more information about this title

Availability