01635nam2-2200433li-450 99000021068020331620180312154824.03-540-59047-10021068USA010021068(ALEPH)000021068USA01002106820001109d1995----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 science90100100202642001Lecture notes in computer sciencecircuiti elettroniciprogettazionecongressi1994congressibad herrenalb1994hardwareverificacongressi199462139Elaboratori. [Precedent. 621.38195]Kropf,ThomasKumar,RamayyaInternational conference TPCD'942.Dad Herrenalb1994753720Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210680203316001 LNCS (901)001743100100103721BKSCI1996040320001110USA011714ALANDI9020010131USA01112820020403USA011629PATRY9020040406USA011615Theorem provers in circuit design1516264UNISA