scientific article; zbMATH DE number 2111140
From MaRDI portal
Publication:4825215
zbMath1053.68020MaRDI QIDQ4825215
Publication date: 28 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99)
Related Items (2)
A multiple-valued logic approach to the design and verification of hardware circuits ⋮ On neural network equivalence checking using SMT solvers
Uses Software
This page was built for publication:
