Number of the records: 1

Thayse, André, 1940-

Personal name	Thayse, André, 1940-
Country	Belgie
Oblast působení	matematika
Profession	matematici
Sex	muž
Language	eng - angličtina, fre - francouzština
Biography	Matematik a informatik, též práce z logiky, o umělé inteligenci a o náboženství. Působí v Belgii.
Source data found	Thayse, André; Snyers, Dominique: From logic design to logic programming : theorem proving techniques and P-functions, c1987 ; KBR, cit. 13. 7. 2015 (autoritní forma) ; DNB, cit. 14. 7. 2015 (datum narození, biografické údaje) ; www(La Procure), cit. 13. 7. 2015 (profesní údaje)
Database	Soubor osobních jmen a jmen rodin (rodů)
References	(1) - Books

person

Number of the records: 1