Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 of  14 نتائج ل ""Logic""

فلترة النتائج

Content Provider : Business Source Index Publisher : springer nature Subject : 0101 mathematics Subject : 0102 computer and information sciences Subject : business.industry Subject : computer Subject : mathematics Subject : symbols فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Arrow's theorem and max-star transitivity.

Subjects: *MATHEMATICS; SOCIAL choice; FUZZY logic

  • Source: Social Choice & Welfare. Jan2011, Vol. 36 Issue 1, p25-34. 10p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Input-Dependence in Function-Learning.

Subjects: *INFORMATION technology; *COMPUTER science; *MATHEMATICS

  • Source: Theory of Computing Systems. Nov2009, Vol. 45 Issue 4, p849-864. 16p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

The Variable Hierarchy of the μ-Calculus Is Strict.

Subjects: *MATHEMATICAL analysis; *MATHEMATICS; CALCULUS

  • Source: Theory of Computing Systems. Jul2007, Vol. 41 Issue 1, p437-466. 30p. 4 Diagrams.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Primal-dual first-order methods with $${\mathcal {O}(1/\epsilon)}$$ iteration-complexity for cone programming.

Subjects: *MATHEMATICAL programming; *OPERATIONS research; *LINEAR programming

  • Source: Mathematical Programming. Jan2011, Vol. 126 Issue 1, p1-29. 29p. 5 Charts.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Review

More on the stable, generalized stable, absorbing and admissible sets.

Subjects: *MATHEMATICS; ADMISSIBLE sets; MATHEMATICAL logic

  • Source: Social Choice & Welfare. Nov2009, Vol. 33 Issue 4, p691-698. 8p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Verification of Embedded Systems Based on Interval Analysis.

Subjects: *MATHEMATICS; *COMPUTER-aided design; EMBEDDED computer systems

  • Source: International Journal of Parallel Programming. Dec2005, Vol. 33 Issue 6, p697-720. 24p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Uncovered bargaining solutions.

Subjects: *GAME theory; *MATHEMATICAL models; *MATHEMATICS

  • Source: International Journal of Game Theory. 2009, Vol. 38 Issue 4, p601-610. 10p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

An approximation technique for robust nonlinear optimization.

Subjects: *MATHEMATICAL optimization; *MATHEMATICS; ROBUST statistics

  • Source: Mathematical Programming. Jun2006, Vol. 107 Issue 1/2, p213-230. 18p. 1 Diagram, 3 Graphs.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.

Subjects: *MATHEMATICS; *INFORMATION theory; ARITHMETIC

  • Source: Theory of Computing Systems. Aug2008, Vol. 43 Issue 2, p185-203. 19p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Nearly serial sharing methods.

Subjects: *MATHEMATICS; FOUNDATIONS of geometry; AXIOMATIC set theory

  • Source: International Journal of Game Theory. 2008, Vol. 37 Issue 2, p155-184. 30p. 11 Diagrams, 5 Graphs.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-10 of  14 نتائج ل ""Logic""