Yazar
Fujiwara, Hideo, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format:
Electronic Resources
Alıntı:
Logic testing and design for testability / Fujiwara, Hideo, author.
Yazar
Abramovici, Miron, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5266057
Format:
Electronic Resources
Alıntı:
Digital systems testing and testable design / Abramovici, Miron, author.
View Other Search Results
Yazar
Sterling, Leon S., editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / Sterling
Yazar
Aït-Kaci, Hassan, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format:
Electronic Resources
Alıntı:
Logic programming.
Yazar
Freuder, Eugene C.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467
Format:
Electronic Resources
Alıntı:
hardware.Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory