scientific article; zbMATH DE number 1341467
From MaRDI portal
Publication:4263006
zbMath0931.03014MaRDI QIDQ4263006
Bruce D. Spencer, Peter Baumgartner, J. D. Horton
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automated theorem provingclause treescomplement splittingdiagnosis of electrical circuits with reconvergent fanoutsfolding-up/downmerge pathsminimal model computationpropositional circumscriptive reasoning
Fault detection; testing in circuits and networks (94C12) Mechanization of proofs and logical operations (03B35)
Related Items (1)
This page was built for publication:
