نتایج جستجو برای: : elan vital

تعداد نتایج: 105451  

ژورنال: پژوهش های فلسفی 2012

La Philosphie de Bergson vise la vie spirituelle, le spiritualisme, la joie, l’appétit et le changement perpétuel de la réalité. En conséquence las trios notions de la durée, de la mémoire et de l’élan vital constituent la réalité de la vie dans son cheminement et dans son progrès. L’ensemble de ces notions fondamentales décèle la contenu de la vie, et dégage la réalité de ses rigidités de l’au...

ژورنال: :مجله پژوهشهای فلسفی دانشگاه تبریز 2012
محمود نوالی

la philosphie de bergson vise la vie spirituelle, le spiritualisme, la joie, l’appétit et le changement perpétuel de la réalité. en conséquence las trios notions de la durée, de la mémoire et de l’élan vital constituent la réalité de la vie dans son cheminement et dans son progrès. l’ensemble de ces notions fondamentales décèle la contenu de la vie, et dégage la réalité de ses rigidités de l’au...

Journal: :Electronic Notes in Theoretical Computer Science 1996

2007
Peter Borovanský Claude Kirchner Hélène Kirchner Pierre-Etienne Moreau Christophe Ringeissen

This paper presents a comprehensive introduction to the ELAN rule-based programming language. We describe the main features of the language, the ELAN environment, and introduce bibliographic references to various papers addressing foundations, implementation and applications of ELAN.

1998
Hélène Kirchner Pierre-Etienne Moreau

The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for experimenting their combination. The ELAN language is based on rewriting logic and evaluation of labelled conditional rewrite rules. ELAN has two originalities with respect to several other algebraic languages, namely to handle n...

Journal: :Nature Biotechnology 2000

Journal: :Theor. Comput. Sci. 2002
Peter Borovanský Claude Kirchner Hélène Kirchner Pierre-Etienne Moreau

ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule based processes. With the general goal to make precise a rewriting logic based semantics of ELAN, this paper has three contributions: a presentati...

2005
MIHALY CSIKSZENTMIHALYI SAMI ABUHAMDEH JEANNE NAKAMURA

What makes people want to go on with the effort required from life? Every epistemology of behavior must sooner or later cope with this basic question. The question is not so mysterious for nonhuman organisms, which presumably have built-in genetic programs instructing them to live as long as their physical machinery is able to function. But our species has a choice: With the development of cons...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید