Search Results for Logic.

5 sonuç bulundu

Tümünü Seç

00000DEFAULTTR

Yazar

Kifer, M. (Michael), 1954-, editor, author.

Abstract with links to full text http://dx.doi.org/10.1145/3191315

Format:

Electronic Resources

Alıntı:

Declarative logic programming : theory, systems, and applications / Kifer, M. (Michael), 1954

Yazar

Longo, Bernadette, 1949-, author.

Abstract with links to full text http://dx.doi.org/10.1145/2787754

Format:

Electronic Resources

Alıntı:

actuary and a husband -- Applications of symbolic logic in the insurance industry --

Yazar

Longo, Bernadette, 1949-, author.

Abstract with links to full text http://dx.doi.org/10.1145/2787754

Format:

Electronic Resources

Alıntı:

actuary and a husband -- Applications of symbolic logic in the insurance industry --

Yazar

Stump, Aaron., author.

Format:

Electronic Resources

Alıntı:

10. Intuitionistic logic and Kripke semantics -- 10.1 Positive propositional intuitionistic logic

Yazar

Stump, Aaron., author.

Format:

Electronic Resources

Alıntı:

10. Intuitionistic logic and Kripke semantics -- 10.1 Positive propositional intuitionistic logic

Tümünü Seç

5 sonuç bulundu

	{displayName}	{count}
{error}