Search Results for Systems theory.

18 sonuç bulundu

Tümünü Seç

1 2

000000DEFAULTTR

13.

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

Yazar

Gopal, T. V. editor.

http://dx.doi.org/10.1007/978-3-319-06089-7

Format:

Electronic Resources

Alıntı:

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India

14.

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Yazar

Dowek, Gilles. editor.

http://dx.doi.org/10.1007/978-3-319-08918-8

Format:

Electronic Resources

Alıntı:

Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should-Simulation in the

15.

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Yazar

van der Hoek, Wiebe. editor.

http://dx.doi.org/10.1007/978-3-662-48561-3

Format:

Electronic Resources

Alıntı:

disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer

16.

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

Yazar

Beckmann, Arnold. editor.

http://dx.doi.org/10.1007/978-3-319-20028-6

Format:

Electronic Resources

Alıntı:

Constructivizations -- Immune Systems in Computer Virology -- ITRM-Recognizability from Random Oracles -- Systems with

17.

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

Yazar

Demri, Stéphane. editor.

http://dx.doi.org/10.1007/978-3-319-08587-6

Format:

Electronic Resources

Alıntı:

Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related

18.

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Yazar

Watt, Stephen M. editor.

http://dx.doi.org/10.1007/978-3-319-08434-3

Format:

Electronic Resources

Alıntı:

Accessible Math Rendering for Wikipedia -- Mathematical Knowledge Management -- Set Theory or Higher Order

Tümünü Seç

1 2

18 sonuç bulundu

	{displayName}	{count}
{error}