01568nam2-2200421li-450-9900002106802033163-540-59047-10021068USA010021068(ALEPH)000021068USA01002106820001109d1991995-km-y0itay0103----baengGWTheorem provers in circuit designtheory, practice and experiencesecond International conference, TPCD '94Bad Herrenalb, Germany, September 26-28, 1994proceedingsRamayya Kumar, Thomas Kropf (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 303 p.ill.25 cmLecture notes in computer science901altro genere00100202642001Lecture notes in computer sciencecircuiti elettroniciprogettazionecongressi1994congressibad herrenalb1994hardwareverificacongressi199462139Elaboratori. [Precedent. 621.38195]Kropf,ThomasKumar,RamayyaInternational conference TPCD'942.Dad Herrenalb1994Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210680203316001 LNCS (901)001743100100103721BKSCI1996040320001110USA011714ALANDI9020010131USA01112820020403USA011629PATRY9020040406USA011615UNISA