Buscar

Filtros

Use los filtros para refinar su búsqueda.

Filtro actual:


Nuevo filtro:

Palabra clave:LOGIC X

Mostrando 7 de un total de 7 resultados. (0.013 segundos)

Mostrando ítems 1-7 de 7

Artículo

Designing a scheduling logic controller for industry 4.0 environments

Rossit, Daniel Alejandro ; Tohmé, Fernando Abel ; Frutos, Mariano (Elsevier, 2019-09)
Otras Ingenierías y Tecnologías. Otras Ingenierías y Tecnologías. Ingenierías y Tecnologías
Artículo

Proof Normalisation in a Logic Identifying Isomorphic Propositions

Díaz Caro, Alejandro ; Dowek, Gilles (Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2019-06)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

A family of metainferential logics

Pailos, Federico Matias (Taylor & Francis, 2019-01)
Filosofía, Historia y Filosofía de la Ciencia y la Tecnología. Filosofía, Ética y Religión. Humanidades
Artículo

A fully classical truth theory characterized by substructural means

Pailos, Federico Matias (Cambridge University Press, 2019-08)
Filosofía, Historia y Filosofía de la Ciencia y la Tecnología. Filosofía, Ética y Religión. Humanidades
Artículo

Validities, antivalidities and contingencies: A multi-standard approach

Barrio, Eduardo Alejandro ; Pailos, Federico Matias (Springer, 2021-07-05)
Filosofía, Historia y Filosofía de la Ciencia y la Tecnología. Filosofía, Ética y Religión. Humanidades
Artículo

Deciding quantifier-free definability in finite algebraic structures

Campercholi, Miguel Alejandro Carlos ; Tellechea, Mauricio ; Ventura, Pablo Gabriel (Elsevier, 2019-03)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Evento

Designing a Scheduling Logic Controller for Industry 4.0 Environments:

Rossit, Daniel Alejandro ; Tohmé, Fernando Abel ; Frutos, Mariano - Otros responsables: Frutos, Mariano - (Elsevier, )
Otras Ingenierías y Tecnologías. Otras Ingenierías y Tecnologías. Ingenierías y Tecnologías

Mostrando ítems 1-7 de 7