Enseignement religieux et transmission croyante
نویسندگان
چکیده
منابع مشابه
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique
We present a course given at the “Maîtrise d’informatique” level at Université of Rennes 1. This course studies relations between logic and computation, among which proofsearching as computing, hence a first course in logic programming. This course is not limited to logic programming, but it is the only one that the student will get on logic programming. Though this course focuses on theoretica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Laval théologique et philosophique
سال: 2013
ISSN: 1703-8804,0023-9054
DOI: 10.7202/1013427ar