Theorem provers in circuit design : (Record no. 64593)

MARC details
000 -LEADER
fixed length control field 00992cam a2200205 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 950202s1995 gw a b 100 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540590471 (Berlin : acidfree paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387590471 (New York : acidfree paper)
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.6606
245 00 - TITLE STATEMENT
Title Theorem provers in circuit design :
Remainder of title theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /
Statement of responsibility, etc Ramayya Kumar, Thomas Kropf, eds.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer-Verlag,
Date of publication, distribution, etc c1995.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 303 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture notes in computer science ;
Volume number/sequential designation 901
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Digital integrated circuits
General subdivision Computer-aided design
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic theorem proving
Form subdivision Congresses.
700 1# - ADDED ENTRY--PERSONAL NAME
Edited by Kumar, Ramayya,
Dates associated with a name 1957-
700 1# - ADDED ENTRY--PERSONAL NAME
Edited by Kropf, Thomas,
Dates associated with a name 1961-
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Conference on Theorem Provers in Circuit Design
Number of part/section/meeting (2nd :
Date of meeting 1994 :
Location of meeting Bad Herrenalb, Germany)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Item type REFERENCE
Holdings
Withdrawn status Lost status Damaged status Koha normalized classification for sorting Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Koha item type
      004_660600000000000   Malaviya National Institute of Technology Malaviya National Institute of Technology Reference 01/06/2017   004.6606 50114 01/06/2017 REFERENCE