Search Results for Mathematical logic.

743 sonuç bulundu

Tümünü Seç

1 2 3 4 5 6 .. 62

000000000000DEFAULTTR

37.

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.

38.

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

39.

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.

40.

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.

41.

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.

42.

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.

43.

Constructivity and Computability in Historical and Philosophical Perspective

Yazar

Dubucs, Jacques. editor.

http://dx.doi.org/10.1007/978-94-017-9217-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

44.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Yazar

Müller, Peter. editor.

https://doi.org/10.1007/978-3-319-98047-8

Format:

Electronic Resources

Alıntı:

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

45.

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering AMINSE 2017, Tbilisi, Georgia, December 6-9

Yazar

Jaiani, George. editor.

https://doi.org/10.1007/978-3-030-10419-1

Format:

Electronic Resources

Alıntı:

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

46.

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

Yazar

Usman, Muhammad. author.

https://doi.org/10.1007/978-981-10-7467-7

Format:

Electronic Resources

Alıntı:

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

47.

Pluralism in Mathematics: A New Position in Philosophy of Mathematics

Yazar

Friend, Michèle. author.

http://dx.doi.org/10.1007/978-94-007-7058-4

Format:

Electronic Resources

Alıntı:

Pluralism in Mathematics: A New Position in Philosophy of Mathematics Friend, Michèle. author.

48.

Computational Complexity of Solving Equation Systems

Yazar

Broniek, Przemysław. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Tümünü Seç

1 2 3 4 5 6 .. 62

743 sonuç bulundu

	{displayName}	{count}
{error}