Thayse, André, 1940-
Thayse, André
André Thayse
Thayse, A.
VIAF ID: 9858618 ( Personal )
Permalink: http://viaf.org/viaf/9858618
Preferred Forms
- 100 0 _ ‡a André Thayse
-
-
-
-
- 100 1 _ ‡a Thayse, André ‡d 1940-
-
-
- 100 1 _ ‡a Thayse, André, ‡d 1940-
- 100 1 _ ‡a Thayse, André, ‡d 1940-....
-
-
- 100 1 _ ‡a Thayse, André
-
- 100 1 _ ‡a Thayse, André ‡d 1940-
-
-
-
4xx's: Alternate Name Forms (10)
5xx's: Related Names (3)
- 510 2 _ ‡a Techn. Hochsch
- 510 2 _ ‡a Université Catholique de Louvain ‡e Affiliation
- 510 2 _ ‡a Université Catholique de Louvain
Works
Title | Sources |
---|---|
Accomplir l'Écriture : Jésus de Nazareth, un enseignement nouveau | |
Alliances: histoire des hommes, quête de Dieu | |
Approche logique de lʼintelligence artificielle | |
Bible. | |
Boolean calculus of differences | |
Calcul différentiel pour les langues de la logique théorie et applications | |
Dieu caché et réel voilé : l'une et l'autre Alliance | |
Dieu ultime et ultime réalité "Je serai qui je serai", Exode 3, 14 | |
Digital systems / M. Davio, J.-P. Deschamps and A. Thayse. - Chichester [etc.], cop. 1983. | |
Digital systems, with algorithm implementation, 1983: | |
Discrete and switching functions | |
Discrete ... c1978 (a.e.) | |
L' Exode autrement : de la loi à l'espérance | |
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions | |
From natural language processing to logic for expert systems | |
From standard logic to logic programming : introducing a logic based approach to artificial intelligence | |
Jésus de Nazareth : libre penseur du judaïsme | |
De la logique classique à la programmation logique | |
De la logique modale à la logique des bases de données | |
De l'apprentissage artificiel aux frontières de l'IA | |
À l'écoute de l'origine : la Genèse autrement | |
Logičeskij podhod k isskusstvennomu intellektu : ot modal'noj logiki k logike baz dannyh | |
Logique et théorie des systèmes digitaux | |
Logique pour le traitement de la langue naturelle : application à la langue française | |
Luc, l'évangile revisité, 1997: | |
Machines algorithmiques | |
Mathématiques, physique, métaphysique les voies du réel | |
P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms | |
Regards sur la foi : à l'écoute de la science | |
Religions et spiritualité | |
Rêves, roueries et réconciliation | |
Savoir et croire : deux chemins de vérité selon Georges Lemaître | |
Science, foi, religions : irréductible antagonisme ou rationalités différentes? | |
Sur les traces du prophète de Nazareth : données historiques, vérité symbolique | |
Vers de nouvelles alliances | |
Логический подход к искусственному интеллекту : От классической логики к логическому прогаммированию |