Search Results for Mathematical logic.

735 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 62

000000000000DEFAULTTR

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language

Yazar

Torza, Alessandro. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Refinement in Z and Object-Z Foundations and Advanced Applications

Yazar

Derrick, John. author.

http://dx.doi.org/10.1007/978-1-4471-5355-9

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

Yazar

Śmiałek, Michał. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Yazar

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

https://doi.org/10.1007/978-3-030-30763-9

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Introduction to Mathematica® with Applications

Yazar

Mureşan, Marian. author.

https://doi.org/10.1007/978-3-319-52003-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

The logic of knowledge bases

Yazar

Levesque, Hector J., 1951-

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

Format:

Electronic Resources

Alıntı:

Logic, Symbolic and mathematical.

Heyting Algebras Duality Theory

Yazar

Esakia, Leo. author.

https://doi.org/10.1007/978-3-030-12096-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

Leo Esakia on Duality in Modal and Intuitionistic Logics

Yazar

Bezhanishvili, Guram. editor.

http://dx.doi.org/10.1007/978-94-017-8860-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

10.

Epistemology, Context, and Formalism

Yazar

Lihoreau, Franck. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

11.

A Mathematical Prelude to the Philosophy of Mathematics

Yazar

Pollard, Stephen. author.

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

Format:

Electronic Resources

Alıntı:

A Mathematical Prelude to the Philosophy of Mathematics Pollard, Stephen. author.

12.

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets

Yazar

Gregg, John. author.

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

Format:

Electronic Resources

Alıntı:

Logic, Symbolic and mathematical.

Tümünü Seç

1 2 3 4 5 .. 62

735 sonuç bulundu

	{displayName}	{count}
{error}