| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions | Taschenbuch | 978-3-540-18217-7 (3-540-18217-9) | 2008 | Dominique Snyers | |
| From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions | Paperback | 978-0-387-18217-9 (0-387-18217-9) | 1987 | " | |
| P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed, and Microprogrammed Implementations of Discrete Algorithms | " | 978-0-387-13358-4 (0-387-13358-5) | 1984 | ||
A. Thayse · ANDERSON TAGGA · Andras Tokai · André Thess · Andrea Tech · Andrea Thek · Andrea Tichy · Andrea Tosi · Andrea Tucci · Andreas Tacke · Andreas Tegge · Andreas Tesch · Andreas Teske · Andreas Tuch · Andrew Tice · Andrew Tisch · Andrew Tooze · Andrew Tuck · Andrzej Tichy · Andrzej Towiaski · Andrzej Tyszka · Andrzej Tyszko