From logic design to logic programming theorem proving techniques and p-functions von Snyers, Dominique, Thayse, André 1940-

Le calcul booléen des differences von Thayse, André 1940-

Discrete and switching functions With a forw. by Raymond T. Yeh von Davio, Marc, Deschamps, Jean-Pierre 1945-, Thayse, André 1940-

Mathématiques, physique, métaphysique les voies du réel von Thayse, André 1940-

Science, foi, religions irréductible antagonisme ou rationalités différentes? von Thayse, André 1940-

L' Exode autrement de la loi à l'espérance von Thayse, André 1940-

Logique pour le traitement de la langue naturelle application à la langue française von Delsarte, Philippe, Thayse, André 1940-

Inhaltsverzeichnis

From logic design to logic programming theorem proving techniques and P-functions von Snyers, Dominique, Thayse, André 1940-

Volltext öffnen

Machines algorithmiques von Davio, Marc, Deschamps, Jean-Pierre, Thayse, André 1940-

Digital systems with algorithm implementation von Davio, Marc, Deschamps, Jean-Pierre, Thayse, André 1940-

Boolean calculus of differences von Thayse, André 1940-

Boolean calculus of differences von Thayse, André 1940-

Volltext öffnen

Discrete and switching functions von Davio, Marc, Deschamps, Jean-Pierre, Thayse, André 1940-

Alliances histoire des hommes, quête de Dieu von Thayse, André 1940-

Accomplir l'Ecriture Jésus de Nazareth ; un enseignement nouveau von Thayse, André 1940-

Matthieu l'Évangile revisité von Thayse, André 1940-

Luc l'évangile revisité von Thayse, André 1940-

From logic design to logic programming theorem proving techniques and P-functions von Snyers, Dominique, Thayse, André 1940-

P-functions and Boolean matrix factorization a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms von Thayse, André 1940-

P-functions and Boolean matrix factorization a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms von Thayse, André 1940-

Volltext öffnen