Biblioteca Digital

58 resultados para disjunctive logic programming

Distributed Access Control: A Logic-Based Approach

Relevância:

20.00% 20.00%

Publicador:

Handbook of Philosophical Logic

Relevância:

20.00% 20.00%

Publicador:

Greek, Indian and Arabic Logic

Relevância:

20.00% 20.00%

Publicador:

Medieval and Renaissance Logic

Relevância:

20.00% 20.00%

Publicador:

The Rise of Modern Logic: Leibnitz to Frege

Relevância:

20.00% 20.00%

Publicador:

British Logic in the Nineteenth Century

Relevância:

20.00% 20.00%

Publicador:

Logic and the Modalities in the Twentieth Century

Relevância:

20.00% 20.00%

Publicador:

The Many-valued and Nonmonotonic Turn in Logic

Relevância:

20.00% 20.00%

Publicador:

Philosophy of Logic

Relevância:

20.00% 20.00%

Publicador:

Modal varieties of temporal logic

Relevância:

20.00% 20.00%

Publicador:

Halfway between points and intervals. A temporal logic based onordered trees

Relevância:

20.00% 20.00%

Publicador:

Goal-Directed Methods for Lukasiewicz Logic

Relevância:

20.00% 20.00%

Publicador:

Logic: The Practical Turn

Relevância:

20.00% 20.00%

Publicador:

Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic

Relevância:

20.00% 20.00%

Publicador:

A New Approach to Quantum Logic

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
4
»