Search Results for Logic.

57.

Yazar

Roux, Olivier. editor.

Format:

Electronic Resources

Alıntı:

such as model checking, stochastic analysis, hybrid systems, circadian clock, time series data, logic

58.

Yazar

Li, Kangshun. editor.

Format:

Electronic Resources

Alıntı:

-- Neuro-dynamics and neuro-engineering -- Fuzzy logic and control -- Collective intelligence and hybrid systems

59.

Yazar

Duval, Béatrice. editor.

Format:

Electronic Resources

Alıntı:

by Adaptation Patterns Integrated into Agent Methodologies -- A Logic for Reasoning about

60.

Yazar

Möller, Dietmar P.F. author.

Format:

Electronic Resources

Alıntı:

and logic level, describing their use though a variety of case studies. Topics and features: Presents

	{displayName}	{count}
{error}