Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Digital integrated circuits --- Automatic theorem proving --- Integrated circuits --- Computer engineering --- Formal methods (Computer science) --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer-aided design --- Verification --- Computer science. --- Computer hardware. --- Computer logic. --- Mathematical logic. --- Computer-aided engineering. --- Complexity, Computational. --- Computer Science. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Computer Hardware. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Complexity. --- Digital electronics --- Design and construction --- Data processing --- Congresses --- Computer aided design. --- Logic design. --- Engineering. --- Construction --- Industrial arts --- Technology --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Computational complexity. --- Complexity, Computational --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- CAE --- Engineering --- Computers --- Digital integrated circuits - Computer-aided design - Congresses --- Automatic theorem proving - Congresses --- Integrated circuits - Verification - Congresses --- Computer engineering - Computer-aided design - Congresses --- Formal methods (Computer science) - Congresses