ProfileOfResearchers

TÃTULO: Adding abductive reasoning to a propositional logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 4

INDEXADO EM:

WOS

NO MEU:

ORCID

TÃTULO: Evapotranspirações potenciais de thornthwaite e de penman-monteith e estimação de escoamentos mensais
AUTORES: Portela, MM; Santos, JF;
PUBLICAÇÃO: 2020, FONTE: International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica - 22nd Latin American Congress on Hydraulics 2006 in International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica

INDEXADO EM:

Scopus

TÃTULO: Essential Structure of Proofs as a Measure of Complexity Full Text
AUTORES: Ramos, J; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: LOGICA UNIVERSALIS, VOLUME: 14, NÚMERO: 2

INDEXADO EM:

WOS

NO MEU:

ORCID

TÃTULO: Decidability of logical theories and their combination
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic

INDEXADO EM:

Scopus

TÃTULO: Preface
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic

INDEXADO EM:

Scopus

TÃTULO: Combination of Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic

INDEXADO EM:

Scopus

TÃTULO: Quantifier Elimination
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic

INDEXADO EM:

Scopus

TÃTULO: Reasoning with Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic

INDEXADO EM:

Scopus

TÃTULO: Decidability Results on Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic

INDEXADO EM:

Scopus

TÃTULO: First-Order Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic

INDEXADO EM:

Scopus

Página 2 de 5. Total de resultados: 41.

Links Úteis