Your search returned 6 results.

Sort
Results
Boolean calculus of differences

by Thayse, Andre | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1981Availability: Items available for loan: 1 Call number: 512.563 Tha.

From logic design to logic programming : theorem proving techniques and P-functions

by Snyers, Dominique | Thayse, Andre | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1987Availability: Items available for loan: 1 Call number: 519.28:681.3.06 Sny.

P-functions and boolean matrix factorization

by Thayse, Andre | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1984Availability: Items available for loan: 1 Call number: 512 Tha.

Discrete and switching functions

by Davio, Marc | Deschamps, Jean-Pierre | Thayse, Andre | .

Series: Edition: Language: English Publication details: New York ; McGraw-Hill, ; 1978Availability: Items available for loan: 1 Call number: 517.1 Dav.

Discrete and switching functions

by Davio, Marc | Deschamps, Jean-Pierre | Thayse, Andre | .

Series: Edition: Language: English Publication details: St-Saphorin ; George Pub., ; 1978Availability: Items available for loan: 1 Call number: 517.1 Dav(2).

Discrete and switching functions

by Davio, Marc | Deschamps, Jean-Pierre | Thayse, Andre | .

Series: Edition: Language: English Publication details: St-Saphorin ; Georgi Pub., ; 1978Availability: Items available for loan: 1 Call number: 517.1 Dav(3).

Pages

Powered by Koha