Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3867740

Jump to:navigation, search

zbMath0429.94028MaRDI QIDQ3867740

J. Paul Roth

Publication date: 1980

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

zbMATH Keywords

synthesis minimization switching circuits computer design computer testing computer verification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01) Software, source code, etc. for problems pertaining to information and communication theory (94-04)

Related Items (3)

A complete critical path algorithm for test generation of combinational circuits ⋮ Electronic circuit diagnostic expert systems - a survey ⋮ Simplification in a satisfiability checker for VLSI applications

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3867740&oldid=17489337"