*001333798
*00520250613111456.0
*007ta
*008110607s1992    ne            100 u eng d
*00901707cam a2200361 c 4500
*019  $bl
*020  $a044489019X
*035  $a(EXLNZ-47BIBSYS_NETWORK)999210799404702201
*035  $a(NO-LaBS)13694605(bibid)
*035  $a(NO-TrBIB)92107994x
*035  $a92107994x-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a621.3.049.771.14
*084  $aB.7.1$2acmccs
*1112 $aIFIP TC 10/WG 10.5 International Conference on Very LargeScale Integration$0(NO-TrBIB)90080576$_61094000
*24510$aVLSI 91 :$bproceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991$cedited by A. Halaas, P. B. Denyer
*260  $aAmsterdam$bNorth-Holland$c1992
*300  $axv, 500 s.$bill.
*4901 $aIFIP transactions. A, Computer science and technology$vA-1
*650 0$aAutomatic theorem proving$xCongresses$_38151000
*650 0$aComputer-aided design$xCongresses$_61094100
*650 0$aintegrated circuits$xVery large scale integration Design and construction Dataprocessing Congresses$_204573700
*650 7$aIntegrerte kretser$2tekord$vKongresser$_187368500
*650 7$aVLSI$2tekord$vKongresser$_186508300
*653  $aIntegrerte kretser$_15070700
*7001 $aDenyer, P. B.$0(NO-TrBIB)90227524$_61094200
*7001 $aHalaas, Arne$d1963-$0(NO-TrBIB)90102657$_40448700
*7102 $aInternational Federation for Information Processing$bWorking Group 10.5$0(NO-TrBIB)90080578$_204573800
*830  $aIFIP transactions$nA$pComputer science and technology$x0926-5473$vA-1$w999213462394702201$_21154800
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=9780444890191
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9780444890191
*901  $a80
*999  $aoai:nb.bibsys.no:999210799404702202$b2021-11-14T20:12:02Z$z999210799404702202
^