resolvent
101SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… …
102Dissipative operator — In mathematics, a dissipative operator is a linear operator A defined on a linear subspace D(A) of Banach space X, taking values in X such that for all λ > 0 and all x ∈ D(A) A dissipative operator is called maximally… …
103Abstract algebra — This article is about the branch of mathematics. For the Swedish band, see Abstrakt Algebra. The permutations of Rubik s Cube have a group structure; the group is a fundamental concept within abstract algebra. Abstract algebra is the subject area …
104Gleichung fünften Grades — Eine Gleichung fünften Grades oder quintische Gleichung ist in der Mathematik ein Polynom vom Grad fünf. Es ist von der Form ax5 + bx4 + cx3 + dx2 + ex + f = 0, wobei die Koeffizienten a,b,c,d,e und f Elemente eines Körpers (typischerweise die… …
105Quintic equation — Eine Gleichung fünften Grades oder quintische Gleichung ist in der Mathematik ein Polynom vom Grad fünf. Es ist von der Form ax5 + bx4 + cx3 + dx2 + ex + f = 0, wobei die Koeffizienten a,b,c,d,e und f Elemente eines Körpers (typischerweise die… …
106Quintische Gleichung — Eine Gleichung fünften Grades oder quintische Gleichung ist in der Mathematik ein Polynom vom Grad fünf. Es ist von der Form ax5 + bx4 + cx3 + dx2 + ex + f = 0, wobei die Koeffizienten a,b,c,d,e und f Elemente eines Körpers (typischerweise die… …
1072001, L'odyssée De L'espace — 2001 : L Odyssée de l espace Pour les articles homonymes, voir Odyssée (homonymie). 2001 : L’Odyssée de l’espace Titre original 2001: A Space Odyssey Réalisation Stanley Kubrick Acteurs principaux Keir Dull …
1082001, l'odyssée de l'espace — 2001 : L Odyssée de l espace Pour les articles homonymes, voir Odyssée (homonymie). 2001 : L’Odyssée de l’espace Titre original 2001: A Space Odyssey Réalisation Stanley Kubrick Acteurs principaux Keir Dull …
1092001, l’odyssée de l’espace — 2001 : L Odyssée de l espace Pour les articles homonymes, voir Odyssée (homonymie). 2001 : L’Odyssée de l’espace Titre original 2001: A Space Odyssey Réalisation Stanley Kubrick Acteurs principaux Keir Dull …
1102001, odyssée de l'espace — 2001 : L Odyssée de l espace Pour les articles homonymes, voir Odyssée (homonymie). 2001 : L’Odyssée de l’espace Titre original 2001: A Space Odyssey Réalisation Stanley Kubrick Acteurs principaux Keir Dull …