Search Results for Proof theory.

73.

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ı:

topical sections on HOL, SAT and QBF, SMT, equational reasoning, verification, proof theory, modal and

74.

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Yazar

Alviano, Mario. editor. (orcid)0000-0002-2052-2063

https://doi.org/10.1007/978-3-030-35166-3

Format:

Electronic Resources

Alıntı:

Infrequency: high in theory, but often not so much in practice! -- Handling Modiﬁers in Question Answering

75.

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Yazar

Galmiche, Didier. editor.

https://doi.org/10.1007/978-3-319-94205-6

Format:

Electronic Resources

Alıntı:

Proof-Search -- Deciding the First-Order Theory of an Algebra of Feature Trees with Updates -- A Separation

76.

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ı:

-- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System

77.

SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

Yazar

Geffert, Viliam. editor.

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

Format:

Electronic Resources

Alıntı:

Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014

78.

Loewner's Theorem on Monotone Matrix Functions

Yazar

Simon, Barry. author.

https://doi.org/10.1007/978-3-030-22422-6

Format:

Electronic Resources

Alıntı:

Linear and Multilinear Algebras, Matrix Theory. https://scigraph.springernature.com/ontologies

79.

Selected Regular Lectures from the 12th International Congress on Mathematical Education

Yazar

Cho, Sung Je. editor.

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

Format:

Electronic Resources

Alıntı:

) -- Dialectic on the problem solving approach: Illustrating hermeneutics as the ground theory for lesson study

80.

Nanometer frequency synthesis beyond the phase-locked loop

Yazar

Xiu, Liming, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266786

Format:

Electronic Resources

Alıntı:

Flying-Adder Circuit 68 -- 4.3 The Circuit of Proof of Concept 74 -- 4.4 The Working Circuitry 77 -- 4.5

81.

Reinforcement learning and approximate dynamic programming for feedback control

Yazar

Lewis, Frank L, âediteur intellectuel de compilation.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6462203

Format:

Electronic Resources

Alıntı:

Physical State 427 -- 19. An Introduction to Event-Based Optimization: Theory and Applications 432

	{displayName}	{count}
{error}