Author facet: Thayse, André, 1940- - ECU Libraries Catalog Search Results

Clear Search

You searched for: Author facet Thayse, André, 1940-

1 - 3 of 3

From logic design to logic programming : theorem proving techniques and P-functions
by Snyers, Dominique, 1959-
1987
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.A96 S62 1987

P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
by Thayse, André, 1940-
1984
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.S88 T44X

Discrete and switching functions
by Davio, Marc
1978
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA268.5 .D38