Search Results for Computer logic.

11 sonuç bulundu

Tümünü Seç

00000000000DEFAULTTR

Krister Segerberg on Logic of Actions

Yazar

Trypuz, Robert. editor.

http://dx.doi.org/10.1007/978-94-007-7046-1

Format:

Electronic Resources

Alıntı:

Computer logic.

Dag Prawitz on Proofs and Meaning

Yazar

Wansing, Heinrich. editor.

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

Format:

Electronic Resources

Alıntı:

Computer logic.

Towards Paraconsistent Engineering

Yazar

Akama, Seiki. editor.

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

Format:

Electronic Resources

Alıntı:

Computer logic.

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

Yazar

Schlechta, Karl. author.

https://doi.org/10.1007/978-3-319-89653-3

Format:

Electronic Resources

Alıntı:

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

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Yazar

Schlechta, Karl. author.

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

Format:

Electronic Resources

Alıntı:

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

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.

Modern Perspectives in Type-Theoretical Semantics

Yazar

Chatzikyriakidis, Stergios. editor.

https://doi.org/10.1007/978-3-319-50422-3

Format:

Electronic Resources

Alıntı:

Computer Appl. in Arts and Humanities. http://scigraph.springernature.com/things/product-market

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

Logic, Epistemology, and the Unity of Science,

Handbook of Philosophical Logic Volume 17

Yazar

Gabbay, Dov M. editor.

http://dx.doi.org/10.1007/978-94-007-6600-6

Format:

Electronic Resources

Alıntı:

Handbook of Philosophical Logic Volume 17 / Gabbay, Dov M. editor.

10.

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

Yazar

Trillas, Enric. author.

https://doi.org/10.1007/978-3-319-56053-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

11.

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

Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.

	{displayName}	{count}
{error}