scientific article; zbMATH DE number 516995

zbMath0793.68133MaRDI QIDQ4282514

Reiner Hähnle, Werner Kernig

Publication date: 17 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated verification of circuitsmany-valued deductionmany-valued theorem provingswitch-level designs

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Many-valued logic and mixed integer programming, Łukasiewicz and His Followers in Many-Valued Logic, The tableau-based theorem prover 3 T A P Version 4.0