André Thayse – författare

Visar alla böcker från författaren André Thayse. Handla med fri frakt och snabb leverans.

7 produkter

1. 

   Jean ultime Évangile

   Un poème à la vérité

   Av André Thayse, Marie-Hélène Thayse-Foubert

   Häftad, 2026

   237 kr

   Lägg i varukorg

2. 

   Science, foi, religions

   Irréductible antagonisme ou rationalités différentes ?

   Av André Thayse

   Häftad, 2016

   252 kr

   Lägg i varukorg

3. 

   Mathématiques, physique, métaphysique

   Les voies du réel

   Av André Thayse

   Häftad, 2018

   290 kr

   Lägg i varukorg

4. 

   Alliances

   histoire des hommes, quête de Dieu

   Av André Thayse

   Häftad, 2021

   240 kr

   Lägg i varukorg

5. 

   Jésus de Nazareth

   Libre penseur du judaïsme

   Av André Thayse

   Häftad, 2022

   224 kr

   Lägg i varukorg

6. 

   Savoir et croire

   Deux chemins de vérité selon Georges Lemaître

   Av André Thayse

   Häftad, 2023

   222 kr

   Lägg i varukorg

7. 

   From Logic Design to Logic Programming

   Theorem Proving Techniques and P-Functions

   Av Dominique Snyers, Andre Thayse

   Häftad, 1987

   561 kr

   Lägg i varukorg

   This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of …