LIBRARY From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions 1987 · ENGLISH · PDF View details →
LIBRARY P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms 1984 · ENGLISH · PDF View details →
LIBRARY P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms 1984 · ENGLISH · DJVU View details →
LIBRARY From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions 1987 · ENGLISH · DJVU View details →
LIBRARY P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms 1984 · ENGLISH · PDF View details →