Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:( pt LOGICA PROPOSICIONAL). Showing records 1 – 30 of 12852 total matches.

[1] [2] [3] [4] [5] … [429]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


Pontifical Catholic University of Rio de Janeiro

1. MARIO H. A. TASCHERI. [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC.

Degree: 2009, Pontifical Catholic University of Rio de Janeiro

[pt] Neste trabalho investigou-se o emprego dos recentes algoritmos de minimização de funções não diferenciáveis para a resolução do problema da síntese de filtros digitais… (more)

Subjects/Keywords: [pt] LOGICA PROPOSICIONAL; [en] PROPOSITIONAL LOGIC; [pt] LOGICA DE PREDICADOS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

TASCHERI, M. H. A. (2009). [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14259

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

TASCHERI, MARIO H. A.. “[en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC.” 2009. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14259.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

TASCHERI, MARIO H. A.. “[en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC.” 2009. Web. 03 Dec 2020.

Vancouver:

TASCHERI MHA. [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14259.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

TASCHERI MHA. [en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14259

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

2. CECILIA REIS ENGLANDER LUSTOSA. [en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS.

Degree: 2015, Pontifical Catholic University of Rio de Janeiro

[pt] Segerberg apresentou uma prova geral da completude para lógicas proposicionais. Para tal, um sistema de dedução foi definido de forma que suas regras sejam… (more)

Subjects/Keywords: [pt] TEORIA DA PROVA; [en] PROOF THEORY; [pt] DEDUCAO NATURAL; [en] NATURAL DEDUCTION; [pt] CALCULO DE SEQUENTES; [en] SEQUENT CALCULUS; [pt] ISOMORFISMO; [en] ISOMORPHISM; [pt] PROVA GERAL DA COMPLETUDE; [en] GENERAL COMPLETENESS PROOF; [pt] LOGICA PROPOSICIONAL FINITO-VALORADA; [en] FINITE-VALUED PROPOSITIONAL LOGIC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LUSTOSA, C. R. E. (2015). [en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24302

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LUSTOSA, CECILIA REIS ENGLANDER. “[en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS.” 2015. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24302.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LUSTOSA, CECILIA REIS ENGLANDER. “[en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS.” 2015. Web. 03 Dec 2020.

Vancouver:

LUSTOSA CRE. [en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24302.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LUSTOSA CRE. [en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24302

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

3. RICARDO QUEIROZ DE ARAUJO FERNANDES. [en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS.

Degree: 2017, Pontifical Catholic University of Rio de Janeiro

[pt] Apresentamos uma lógica para a compreensão de condicionais a partir da proximidade (PUC-Logic) que unifica as lógicas Contrafactual e Deôntica propostas por David Lewis.… (more)

Subjects/Keywords: [pt] LOGICA; [en] LOGIC; [pt] DEDUCAO NATURAL; [en] NATURAL DEDUCTION; [pt] CONDICIONAIS; [pt] LOGICA CONTRAFACTUAL; [pt] LOGICA DEONTICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

FERNANDES, R. Q. D. A. (2017). [en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28782

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

FERNANDES, RICARDO QUEIROZ DE ARAUJO. “[en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS.” 2017. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28782.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

FERNANDES, RICARDO QUEIROZ DE ARAUJO. “[en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS.” 2017. Web. 03 Dec 2020.

Vancouver:

FERNANDES RQDA. [en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28782.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

FERNANDES RQDA. [en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28782

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

4. VASTON GONCALVES DA COSTA. [en] LOGIC PROOFS COMPACTATION.

Degree: 2007, Pontifical Catholic University of Rio de Janeiro

[pt] É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas… (more)

Subjects/Keywords: [pt] TEORIA DA PROVA; [en] PROOF THEORY; [pt] DEDUCAO NATURAL; [en] NATURAL DEDUCTION; [pt] COMPLEXIDADE DE PROVAS; [en] PROOF COMPLEXITY; [pt] CALCULO DE SEQUENCIAS; [en] SEQUENT CALCULUS; [pt] LOGICA PROPOSICIONAL; [en] PROPOSITIONAL LOGIC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

COSTA, V. G. D. (2007). [en] LOGIC PROOFS COMPACTATION. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10018

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

COSTA, VASTON GONCALVES DA. “[en] LOGIC PROOFS COMPACTATION.” 2007. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10018.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

COSTA, VASTON GONCALVES DA. “[en] LOGIC PROOFS COMPACTATION.” 2007. Web. 03 Dec 2020.

Vancouver:

COSTA VGD. [en] LOGIC PROOFS COMPACTATION. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2007. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10018.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

COSTA VGD. [en] LOGIC PROOFS COMPACTATION. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2007. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10018

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

5. VICTOR LUIS BARROSO NASCIMENTO. [en] LOGICAL ECUMENISM.

Degree: 2018, Pontifical Catholic University of Rio de Janeiro

[pt] A história recente da Lógica Matemática foi marcada por alguns conflitos entre diferentes correntes filosóficas, cada uma buscando contextualizar a atividade matemática a partir… (more)

Subjects/Keywords: [pt] LOGICA INTUICIONISTA; [en] INTUITIONISTIC LOGIC; [pt] LOGICA CLASSICA; [en] CLASSICAL LOGIC; [pt] ECUMENISMO LOGICO; [en] LOGICAL ECUMENISM; [pt] LOGICA MINIMAL; [en] MINIMAL LOGIC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

NASCIMENTO, V. L. B. (2018). [en] LOGICAL ECUMENISM. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

NASCIMENTO, VICTOR LUIS BARROSO. “[en] LOGICAL ECUMENISM.” 2018. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

NASCIMENTO, VICTOR LUIS BARROSO. “[en] LOGICAL ECUMENISM.” 2018. Web. 03 Dec 2020.

Vancouver:

NASCIMENTO VLB. [en] LOGICAL ECUMENISM. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2018. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

NASCIMENTO VLB. [en] LOGICAL ECUMENISM. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2018. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

6. GOFREDO JORGE DA COSTA MOREIRA. [en] A LOGIC PROGRAMMING BASED SYSTEM TO SUPPORT THE SENDING OF COMMANDS UPON A TELEPHONE NETWORK.

Degree: 2009, Pontifical Catholic University of Rio de Janeiro

[pt] A gerência de redes telefônicas nas modernas concessionáras do chamado Primeiro Mundo têm se apoiado, cada vez mais, sobre sistemas baseados em conhecimento. Esses… (more)

Subjects/Keywords: [pt] PROGRAMACAO LOGICA; [en] LOGIC PROGRAMMING; [pt] REDE TELEFONICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

MOREIRA, G. J. D. C. (2009). [en] A LOGIC PROGRAMMING BASED SYSTEM TO SUPPORT THE SENDING OF COMMANDS UPON A TELEPHONE NETWORK. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14571

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

MOREIRA, GOFREDO JORGE DA COSTA. “[en] A LOGIC PROGRAMMING BASED SYSTEM TO SUPPORT THE SENDING OF COMMANDS UPON A TELEPHONE NETWORK.” 2009. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14571.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

MOREIRA, GOFREDO JORGE DA COSTA. “[en] A LOGIC PROGRAMMING BASED SYSTEM TO SUPPORT THE SENDING OF COMMANDS UPON A TELEPHONE NETWORK.” 2009. Web. 03 Dec 2020.

Vancouver:

MOREIRA GJDC. [en] A LOGIC PROGRAMMING BASED SYSTEM TO SUPPORT THE SENDING OF COMMANDS UPON A TELEPHONE NETWORK. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14571.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

MOREIRA GJDC. [en] A LOGIC PROGRAMMING BASED SYSTEM TO SUPPORT THE SENDING OF COMMANDS UPON A TELEPHONE NETWORK. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14571

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

7. ANDRÉIA APARECIDA ALBINO. [en] MARKETING SOCIAL PROGRAMS ON THE BUSINESS SECTOR: MULTI-CASE ANALYSES ON CO-CREATION VALUE.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] Considerando o aumento da participação da iniciativa privada em projetos e programas que buscam contribuir para a elevação do bem estar da sociedade, inclusive… (more)

Subjects/Keywords: [pt] MARKETING SOCIAL; [en] SOCIAL MARKETING; [pt] COCRIACAO DE VALOR; [pt] LOGICA DE SERVICO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

ALBINO, A. A. (2016). [en] MARKETING SOCIAL PROGRAMS ON THE BUSINESS SECTOR: MULTI-CASE ANALYSES ON CO-CREATION VALUE. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27438

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

ALBINO, ANDRÉIA APARECIDA. “[en] MARKETING SOCIAL PROGRAMS ON THE BUSINESS SECTOR: MULTI-CASE ANALYSES ON CO-CREATION VALUE.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27438.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

ALBINO, ANDRÉIA APARECIDA. “[en] MARKETING SOCIAL PROGRAMS ON THE BUSINESS SECTOR: MULTI-CASE ANALYSES ON CO-CREATION VALUE.” 2016. Web. 03 Dec 2020.

Vancouver:

ALBINO AA. [en] MARKETING SOCIAL PROGRAMS ON THE BUSINESS SECTOR: MULTI-CASE ANALYSES ON CO-CREATION VALUE. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27438.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

ALBINO AA. [en] MARKETING SOCIAL PROGRAMS ON THE BUSINESS SECTOR: MULTI-CASE ANALYSES ON CO-CREATION VALUE. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27438

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

8. DANTE CORBUCCI FILHO. [en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING.

Degree: 2009, Pontifical Catholic University of Rio de Janeiro

[pt] Esta dissertação apresenta uma integração entre a programação funcional e a programação em lógica, obtida pela definição e implementação da Linguagem LispLog. Nesta nova… (more)

Subjects/Keywords: [pt] LINGUAGEM; [en] LANGUAGE; [pt] PROGRAMACAO LOGICA; [en] LOGIC PROGRAMMING; [pt] PROGRAMACAO FUNCIONAL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

FILHO, D. C. (2009). [en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14348

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

FILHO, DANTE CORBUCCI. “[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING.” 2009. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14348.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

FILHO, DANTE CORBUCCI. “[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING.” 2009. Web. 03 Dec 2020.

Vancouver:

FILHO DC. [en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14348.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

FILHO DC. [en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14348

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

9. CECILIA REIS ENGLANDER LUSTOSA. [en] 2-CATEGORY AND PROOF THEORY.

Degree: 2010, Pontifical Catholic University of Rio de Janeiro

[pt] Dedução Natural para a lógica intuicionista tem sido relacionada à Teoria das Categorias através do que agora é conhecido por Lógica Categórica. Essa relação… (more)

Subjects/Keywords: [pt] DEDUCAO NATURAL; [en] NATURAL DEDUCTION; [pt] TEORIA DAS CATEGORIAS; [pt] LOGICA CATEGORICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LUSTOSA, C. R. E. (2010). [en] 2-CATEGORY AND PROOF THEORY. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=15181

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LUSTOSA, CECILIA REIS ENGLANDER. “[en] 2-CATEGORY AND PROOF THEORY.” 2010. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=15181.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LUSTOSA, CECILIA REIS ENGLANDER. “[en] 2-CATEGORY AND PROOF THEORY.” 2010. Web. 03 Dec 2020.

Vancouver:

LUSTOSA CRE. [en] 2-CATEGORY AND PROOF THEORY. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2010. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=15181.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LUSTOSA CRE. [en] 2-CATEGORY AND PROOF THEORY. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2010. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=15181

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

10. TIAGO REZENDE DE CASTRO ALVES. [en] NOTES ON THE NOTION OF EXISTENCE.

Degree: 2015, Pontifical Catholic University of Rio de Janeiro

[pt] A dissertação consiste em uma reflexão sobre a noção de existência. É feita, de início, uma breve exposição a respeito do argumento ontológico de… (more)

Subjects/Keywords: [pt] ONTOLOGIA; [en] ONTOLOGY; [pt] LOGICA; [en] LOGIC; [pt] EXISTENCIA; [en] EXISTENCE

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

ALVES, T. R. D. C. (2015). [en] NOTES ON THE NOTION OF EXISTENCE. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=23918

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

ALVES, TIAGO REZENDE DE CASTRO. “[en] NOTES ON THE NOTION OF EXISTENCE.” 2015. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=23918.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

ALVES, TIAGO REZENDE DE CASTRO. “[en] NOTES ON THE NOTION OF EXISTENCE.” 2015. Web. 03 Dec 2020.

Vancouver:

ALVES TRDC. [en] NOTES ON THE NOTION OF EXISTENCE. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=23918.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

ALVES TRDC. [en] NOTES ON THE NOTION OF EXISTENCE. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=23918

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

11. MARCELA QUISPE CRUZ. [en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS.

Degree: 2017, Pontifical Catholic University of Rio de Janeiro

[pt] A teoria da prova tradicional da lógica proposicional trata provas cujos tamanhos podem ser demasiado grandes. Estudos teóricos de prova descobriram diferenças exponenciais entre… (more)

Subjects/Keywords: [pt] TEORIA DA PROVA; [en] PROOF THEORY; [pt] DEDUCAO NATURAL; [en] NATURAL DEDUCTION; [pt] COMPLEXIDADE DE PROVAS; [en] PROOF COMPLEXITY; [pt] GRAFOS DE PROVA; [pt] NORMALIZACAO FORTE; [pt] LOGICA CLASSICA; [pt] LOGICA MINIMAL IMPLICACIONAL; [pt] INFERENCIA PROFUNDA; [pt] LOGICA BI-INTUICIONISTA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

CRUZ, M. Q. (2017). [en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28745

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

CRUZ, MARCELA QUISPE. “[en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS.” 2017. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28745.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

CRUZ, MARCELA QUISPE. “[en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS.” 2017. Web. 03 Dec 2020.

Vancouver:

CRUZ MQ. [en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28745.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

CRUZ MQ. [en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28745

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

12. HEBERT AZEVEDO SA. [en] DEVELOPMENT AND SIMULATION OF AN ARTIFICIAL INTELLIGENCE BASED SEMIAUTONOMOUS CONTROLLER FOR MILITARY VEHICLES.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] O objetivo deste trabalho é investigar a utilização de um Sistema de Inferência Fuzzy (Fuzzy Inference System) para projetar um sistema de controle semiautônomo… (more)

Subjects/Keywords: [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] ROBOS MOVEIS AUTONOMOS; [pt] VEICULOS MILITARES; [pt] CONTROLE PREDITIVO; [pt] SISTEMAS SEMIAUTONOMOS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SA, H. A. (2016). [en] DEVELOPMENT AND SIMULATION OF AN ARTIFICIAL INTELLIGENCE BASED SEMIAUTONOMOUS CONTROLLER FOR MILITARY VEHICLES. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26608

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

SA, HEBERT AZEVEDO. “[en] DEVELOPMENT AND SIMULATION OF AN ARTIFICIAL INTELLIGENCE BASED SEMIAUTONOMOUS CONTROLLER FOR MILITARY VEHICLES.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26608.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

SA, HEBERT AZEVEDO. “[en] DEVELOPMENT AND SIMULATION OF AN ARTIFICIAL INTELLIGENCE BASED SEMIAUTONOMOUS CONTROLLER FOR MILITARY VEHICLES.” 2016. Web. 03 Dec 2020.

Vancouver:

SA HA. [en] DEVELOPMENT AND SIMULATION OF AN ARTIFICIAL INTELLIGENCE BASED SEMIAUTONOMOUS CONTROLLER FOR MILITARY VEHICLES. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26608.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

SA HA. [en] DEVELOPMENT AND SIMULATION OF AN ARTIFICIAL INTELLIGENCE BASED SEMIAUTONOMOUS CONTROLLER FOR MILITARY VEHICLES. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26608

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

13. EVELINE RUSSO SACRAMENTO FERREIRA. [en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] A grande quantidade de dados disponíveis na Web permite aos usuários combinarem e rapidamente integrarem dados provenientes de fontes diferentes, pertencentes ao mesmo domínio… (more)

Subjects/Keywords: [pt] VERIFICACAO DE MODELOS; [en] MODEL CHECKING; [pt] COMBINACAO DE DADOS; [pt] VERIFICACAO DE RESTRICOES; [pt] LOGICA DE DEFAULTS; [pt] INCONSISTENCIA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

FERREIRA, E. R. S. (2016). [en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26459

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

FERREIRA, EVELINE RUSSO SACRAMENTO. “[en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26459.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

FERREIRA, EVELINE RUSSO SACRAMENTO. “[en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS.” 2016. Web. 03 Dec 2020.

Vancouver:

FERREIRA ERS. [en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26459.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

FERREIRA ERS. [en] AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26459

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

14. RENATO CANDIDO DA SILVA. [en] THE PRODUCTION OF SPACE AND REPRESENTATIONS: FROM THE MILITARY LOGIC TO THE FINANCIAL CAPITAL LOGIC TO REALIZE THE OLYMPIC GAMES OF 2016 IN DEODORO NEIGHBORHOOD AND ADJACENCIES-RJ.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] O bairro de Deodoro, localizado na zona oeste da cidade do Rio de Janeiro, é caracterizado por ser um bairro de classe média baixa… (more)

Subjects/Keywords: [pt] CAPITAL INTERNACIONAL; [en] INTERNATIONAL CAPITAL; [pt] PRODUCAO DO ESPACO; [pt] LOGICA MILITARISTA; [pt] OLIMPIADAS 2016; [pt] BAIRRO DE DEODORO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SILVA, R. C. D. (2016). [en] THE PRODUCTION OF SPACE AND REPRESENTATIONS: FROM THE MILITARY LOGIC TO THE FINANCIAL CAPITAL LOGIC TO REALIZE THE OLYMPIC GAMES OF 2016 IN DEODORO NEIGHBORHOOD AND ADJACENCIES-RJ. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27501

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

SILVA, RENATO CANDIDO DA. “[en] THE PRODUCTION OF SPACE AND REPRESENTATIONS: FROM THE MILITARY LOGIC TO THE FINANCIAL CAPITAL LOGIC TO REALIZE THE OLYMPIC GAMES OF 2016 IN DEODORO NEIGHBORHOOD AND ADJACENCIES-RJ.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27501.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

SILVA, RENATO CANDIDO DA. “[en] THE PRODUCTION OF SPACE AND REPRESENTATIONS: FROM THE MILITARY LOGIC TO THE FINANCIAL CAPITAL LOGIC TO REALIZE THE OLYMPIC GAMES OF 2016 IN DEODORO NEIGHBORHOOD AND ADJACENCIES-RJ.” 2016. Web. 03 Dec 2020.

Vancouver:

SILVA RCD. [en] THE PRODUCTION OF SPACE AND REPRESENTATIONS: FROM THE MILITARY LOGIC TO THE FINANCIAL CAPITAL LOGIC TO REALIZE THE OLYMPIC GAMES OF 2016 IN DEODORO NEIGHBORHOOD AND ADJACENCIES-RJ. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27501.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

SILVA RCD. [en] THE PRODUCTION OF SPACE AND REPRESENTATIONS: FROM THE MILITARY LOGIC TO THE FINANCIAL CAPITAL LOGIC TO REALIZE THE OLYMPIC GAMES OF 2016 IN DEODORO NEIGHBORHOOD AND ADJACENCIES-RJ. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=27501

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

15. ANDRE NASCIMENTO PONTES. [en] UNRESTRICTED QUANTIFICATION AND ABSOLUTE GENERALITY: THE ISSUE OF THE POSSIBILITY OF A THEORY ABOUT EVERYTHING.

Degree: 2015, Pontifical Catholic University of Rio de Janeiro

[pt] A presente tese tem como objetivo desenvolver uma discussão acerca das condições de possibilidade da quantificação irrestrita e existência da generalidade absoluta. O trabalho… (more)

Subjects/Keywords: [pt] LOGICA; [en] LOGIC; [pt] QUANTIFICACAO; [pt] GENERALIDADE ABSOLUTA; [en] ABSOLUTE GENERALITY; [pt] EXTENSIBILIDADE INDEFINIDA; [en] INDEFINITE EXTENSIBILITY

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

PONTES, A. N. (2015). [en] UNRESTRICTED QUANTIFICATION AND ABSOLUTE GENERALITY: THE ISSUE OF THE POSSIBILITY OF A THEORY ABOUT EVERYTHING. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25287

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

PONTES, ANDRE NASCIMENTO. “[en] UNRESTRICTED QUANTIFICATION AND ABSOLUTE GENERALITY: THE ISSUE OF THE POSSIBILITY OF A THEORY ABOUT EVERYTHING.” 2015. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25287.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

PONTES, ANDRE NASCIMENTO. “[en] UNRESTRICTED QUANTIFICATION AND ABSOLUTE GENERALITY: THE ISSUE OF THE POSSIBILITY OF A THEORY ABOUT EVERYTHING.” 2015. Web. 03 Dec 2020.

Vancouver:

PONTES AN. [en] UNRESTRICTED QUANTIFICATION AND ABSOLUTE GENERALITY: THE ISSUE OF THE POSSIBILITY OF A THEORY ABOUT EVERYTHING. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25287.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

PONTES AN. [en] UNRESTRICTED QUANTIFICATION AND ABSOLUTE GENERALITY: THE ISSUE OF THE POSSIBILITY OF A THEORY ABOUT EVERYTHING. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25287

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

16. CRISTHIAN JULIAN GOMEZ LIZCANO. [en] FUZZY CONTROL OF AN AUXILIARY NAVIGATION SYSTEM FOR A HYBRID AMBIENT ROBOT.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] Nas últimas décadas o avanço tecnológico tem atingido altos níveis de desenvolvimento, sendo as técnicas de inteligência computacional um dos principais campos em expansão… (more)

Subjects/Keywords: [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] NAVEGACAO; [en] NAVIGATION; [pt] ROBOTICA; [en] ROBOTICS; [pt] CONTROLE FUZZY; [en] FUZZY CONTROL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LIZCANO, C. J. G. (2016). [en] FUZZY CONTROL OF AN AUXILIARY NAVIGATION SYSTEM FOR A HYBRID AMBIENT ROBOT. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26406

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LIZCANO, CRISTHIAN JULIAN GOMEZ. “[en] FUZZY CONTROL OF AN AUXILIARY NAVIGATION SYSTEM FOR A HYBRID AMBIENT ROBOT.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26406.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LIZCANO, CRISTHIAN JULIAN GOMEZ. “[en] FUZZY CONTROL OF AN AUXILIARY NAVIGATION SYSTEM FOR A HYBRID AMBIENT ROBOT.” 2016. Web. 03 Dec 2020.

Vancouver:

LIZCANO CJG. [en] FUZZY CONTROL OF AN AUXILIARY NAVIGATION SYSTEM FOR A HYBRID AMBIENT ROBOT. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26406.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LIZCANO CJG. [en] FUZZY CONTROL OF AN AUXILIARY NAVIGATION SYSTEM FOR A HYBRID AMBIENT ROBOT. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26406

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

17. BRUNO LOPES VIEIRA. [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS.

Degree: 2015, Pontifical Catholic University of Rio de Janeiro

[pt] Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo… (more)

Subjects/Keywords: [pt] LOGICA; [en] LOGIC; [pt] REDES DE PETRI; [en] PETRI NETS; [pt] LOGICA MODAL; [en] LOGIC MODAL; [pt] LOGICA DINAMICA; [en] DYNAMIC LOGIC; [pt] REDES DE PETRI ESTOCATISCAS; [en] STOCHASTIC PETRI NETS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

VIEIRA, B. L. (2015). [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

VIEIRA, BRUNO LOPES. “[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS.” 2015. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

VIEIRA, BRUNO LOPES. “[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS.” 2015. Web. 03 Dec 2020.

Vancouver:

VIEIRA BL. [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

VIEIRA BL. [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

18. FABIANO CASTRO TORRINI. [en] LONG-TERM ELECTRICITY DEMAND FORECAST BY FUZZY LOGIC APPROACH.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] O consumo de energia elétrica no Brasil tem sido amplamente discutido nos últimos tempos. A crise do abastecimento de energia em 2001, fez com… (more)

Subjects/Keywords: [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] CONSUMO DE ENERGIA ELETRICA; [pt] PREVISAO DE LONGO PRAZO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

TORRINI, F. C. (2016). [en] LONG-TERM ELECTRICITY DEMAND FORECAST BY FUZZY LOGIC APPROACH. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26974

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

TORRINI, FABIANO CASTRO. “[en] LONG-TERM ELECTRICITY DEMAND FORECAST BY FUZZY LOGIC APPROACH.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26974.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

TORRINI, FABIANO CASTRO. “[en] LONG-TERM ELECTRICITY DEMAND FORECAST BY FUZZY LOGIC APPROACH.” 2016. Web. 03 Dec 2020.

Vancouver:

TORRINI FC. [en] LONG-TERM ELECTRICITY DEMAND FORECAST BY FUZZY LOGIC APPROACH. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26974.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

TORRINI FC. [en] LONG-TERM ELECTRICITY DEMAND FORECAST BY FUZZY LOGIC APPROACH. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26974

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

19. JOSE FLAVIO CAVALCANTE BARROS JUNIOR. [en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION.

Degree: 2020, Pontifical Catholic University of Rio de Janeiro

[pt] O tamanho das provas formais possui algumas importantes implicações teóricas na área da complexidade computacional. O problema de determinar se uma fórmula é uma… (more)

Subjects/Keywords: [pt] TEORIA DA PROVA; [en] PROOF THEORY; [pt] LOGICA MINIMAL; [en] MINIMAL LOGIC; [pt] COMPRESSAO DE PROVAS; [en] PROOF COMPRESSION

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

JUNIOR, J. F. C. B. (2020). [en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

JUNIOR, JOSE FLAVIO CAVALCANTE BARROS. “[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION.” 2020. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

JUNIOR, JOSE FLAVIO CAVALCANTE BARROS. “[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION.” 2020. Web. 03 Dec 2020.

Vancouver:

JUNIOR JFCB. [en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2020. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

JUNIOR JFCB. [en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2020. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47267

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

20. BERNARDO PINTO DE ALKMIM. [pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA.

Degree: 2020, Pontifical Catholic University of Rio de Janeiro

[pt] A lógica iALC é uma lógica de descrição de caráter intuicionista, criada para lidar com textos jurídicos como alternativa à mais comumente utilizada lógica… (more)

Subjects/Keywords: [pt] LOGICA INTUICIONISTA; [en] INTUITIONISTIC LOGIC; [pt] RACIOCINIO JURIDICO; [en] LEGAL REASONING; [pt] LOGICA DE DESCRICAO; [en] DESCRIPTION LOGICS; [pt] LEGISLACAO BRASILEIRA; [en] BRAZILIAN LEGISLATION; [pt] FORMALIZACAO DE TEXTOS JURIDICOS; [en] LEGAL TEXT FORMALIZATION; [pt] IALC; [en] IALC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

ALKMIM, B. P. D. (2020). [pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47127

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

ALKMIM, BERNARDO PINTO DE. “[pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA.” 2020. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47127.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

ALKMIM, BERNARDO PINTO DE. “[pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA.” 2020. Web. 03 Dec 2020.

Vancouver:

ALKMIM BPD. [pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2020. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47127.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

ALKMIM BPD. [pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2020. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=47127

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

21. BRUNO SCHROEDER. [en] A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES.

Degree: 2017, Pontifical Catholic University of Rio de Janeiro

[pt] Demonstrações em lógica podem tornar-se muito grandes e complexas. Para resolver problemas, e para estudar lógica, é comum valer-se de assistentes de demonstração. Um… (more)

Subjects/Keywords: [pt] LOGICA; [en] LOGIC; [pt] ASSISTENTES AUTOMATICOS DE DEMONSTRACAO; [pt] FERRAMENTAS PARA ESPECIFICACAO DE LOGICAS; [pt] DEDUCOES ESTRUTURADAS COMO CIRCUITOS; [pt] PROVADORES AUTOMATICOS DE TEOREMAS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SCHROEDER, B. (2017). [en] A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29093

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

SCHROEDER, BRUNO. “[en] A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES.” 2017. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29093.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

SCHROEDER, BRUNO. “[en] A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES.” 2017. Web. 03 Dec 2020.

Vancouver:

SCHROEDER B. [en] A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29093.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

SCHROEDER B. [en] A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29093

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

22. VICTOR BARBOZA BRITO. [en] FUZZYFUTURE: TIME SERIES FORECASTING TOOL BASED ON FUZZY-GENETIC HYBRID SYSTEM.

Degree: 2011, Pontifical Catholic University of Rio de Janeiro

[pt] A previsão de séries temporais está presente em diversas áreas como os setores elétrico, financeiro, a economia e o industrial. Em todas essas áreas,… (more)

Subjects/Keywords: [pt] SERIES TEMPORAIS; [en] TIME SERIES; [pt] ALGORITMO GENETICO; [en] GENETIC ALGORITHM; [pt] PREVISAO; [en] FORECASTING; [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] FERRAMENTAS; [en] TOOLS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

BRITO, V. B. (2011). [en] FUZZYFUTURE: TIME SERIES FORECASTING TOOL BASED ON FUZZY-GENETIC HYBRID SYSTEM. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=18536

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

BRITO, VICTOR BARBOZA. “[en] FUZZYFUTURE: TIME SERIES FORECASTING TOOL BASED ON FUZZY-GENETIC HYBRID SYSTEM.” 2011. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=18536.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

BRITO, VICTOR BARBOZA. “[en] FUZZYFUTURE: TIME SERIES FORECASTING TOOL BASED ON FUZZY-GENETIC HYBRID SYSTEM.” 2011. Web. 03 Dec 2020.

Vancouver:

BRITO VB. [en] FUZZYFUTURE: TIME SERIES FORECASTING TOOL BASED ON FUZZY-GENETIC HYBRID SYSTEM. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2011. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=18536.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

BRITO VB. [en] FUZZYFUTURE: TIME SERIES FORECASTING TOOL BASED ON FUZZY-GENETIC HYBRID SYSTEM. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2011. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=18536

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

23. ROMULO DE CARVALHO MAGALHAES. [en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] Este trabalho aborda problemas de projeto de ontologias tratando-as como teorias e definindo um conjunto de operações que mapeiam ontologias em ontologias, incluindo suas… (more)

Subjects/Keywords: [pt] ONTOLOGIAS; [en] ONTOLOGIES; [pt] OWL; [pt] RDF; [en] RDF; [pt] LOGICA DE DESCRICAO; [en] DESCRIPTION LOGICS; [pt] DADOS INTERLIGADOS; [en] LINKED DATA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

MAGALHAES, R. D. C. (2016). [en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25848

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

MAGALHAES, ROMULO DE CARVALHO. “[en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25848.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

MAGALHAES, ROMULO DE CARVALHO. “[en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES.” 2016. Web. 03 Dec 2020.

Vancouver:

MAGALHAES RDC. [en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25848.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

MAGALHAES RDC. [en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=25848

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

24. JAVIER EDUARDO REYES SANCHEZ. [en] MULTIPLE SENSORS MONITORING SYSTEM BY AUTOASSOCIATIVE NEURAL NETWORKS AND FUZZY LOGIC.

Degree: 2019, Pontifical Catholic University of Rio de Janeiro

[pt] Calibrações manuais periódicas asseguram o funcionamento correto de um instrumento durante certo período de tempo, mas não garantem que sensores defeituosos permaneçam calibrados por… (more)

Subjects/Keywords: [pt] CLASSIFICACAO; [en] CLASSIFICATION; [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] CONFIABILIDADE; [en] RELIABILITY; [pt] SENSOR; [en] SENSOR; [pt] AUTOMACAO; [en] AUTOMATION; [pt] DETECCAO DE FALHAS; [en] FAULT DETECTION; [pt] SISTEMAS DE MONITORAMENTO; [en] MONITORING SYSTEMS; [pt] REDES NEURAIS AUTO-ASSOCIATIVAS; [en] AUTO-ASSOCIATIVE NEURAL NETWORKS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SANCHEZ, J. E. R. (2019). [en] MULTIPLE SENSORS MONITORING SYSTEM BY AUTOASSOCIATIVE NEURAL NETWORKS AND FUZZY LOGIC. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=44559

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

SANCHEZ, JAVIER EDUARDO REYES. “[en] MULTIPLE SENSORS MONITORING SYSTEM BY AUTOASSOCIATIVE NEURAL NETWORKS AND FUZZY LOGIC.” 2019. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=44559.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

SANCHEZ, JAVIER EDUARDO REYES. “[en] MULTIPLE SENSORS MONITORING SYSTEM BY AUTOASSOCIATIVE NEURAL NETWORKS AND FUZZY LOGIC.” 2019. Web. 03 Dec 2020.

Vancouver:

SANCHEZ JER. [en] MULTIPLE SENSORS MONITORING SYSTEM BY AUTOASSOCIATIVE NEURAL NETWORKS AND FUZZY LOGIC. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=44559.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

SANCHEZ JER. [en] MULTIPLE SENSORS MONITORING SYSTEM BY AUTOASSOCIATIVE NEURAL NETWORKS AND FUZZY LOGIC. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=44559

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

25. BRUNO QUARESMA BASTOS. [en] POINT AND INTERVAL FORECASTING OF HIGH-FREQUENCY TIME SERIES WITH FUZZY LOGIC SYSTEM.

Degree: 2017, Pontifical Catholic University of Rio de Janeiro

[pt] A previsão de séries temporais é um assunto de grande importância para diversas áreas, podendo servir como base para planejamento e controle, entre outros.… (more)

Subjects/Keywords: [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] PREVISAO DE SERIES TEMPORAIS; [en] TIME SERIES FORECASTING; [pt] PREVISAO DE CURTO PRAZO DA CARGA DE ENERGIA ELETRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

BASTOS, B. Q. (2017). [en] POINT AND INTERVAL FORECASTING OF HIGH-FREQUENCY TIME SERIES WITH FUZZY LOGIC SYSTEM. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=30504

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

BASTOS, BRUNO QUARESMA. “[en] POINT AND INTERVAL FORECASTING OF HIGH-FREQUENCY TIME SERIES WITH FUZZY LOGIC SYSTEM.” 2017. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=30504.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

BASTOS, BRUNO QUARESMA. “[en] POINT AND INTERVAL FORECASTING OF HIGH-FREQUENCY TIME SERIES WITH FUZZY LOGIC SYSTEM.” 2017. Web. 03 Dec 2020.

Vancouver:

BASTOS BQ. [en] POINT AND INTERVAL FORECASTING OF HIGH-FREQUENCY TIME SERIES WITH FUZZY LOGIC SYSTEM. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=30504.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

BASTOS BQ. [en] POINT AND INTERVAL FORECASTING OF HIGH-FREQUENCY TIME SERIES WITH FUZZY LOGIC SYSTEM. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=30504

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

26. TANARA LAUSCHNER. [en] MODELING THE MEDIATED SCHEMA CONSTRAINTS.

Degree: 2018, Pontifical Catholic University of Rio de Janeiro

[pt] Integração de dados refere-se ao problema de combinar dados que estão armazenados em diferentes fontes, fornecendo ao usuário uma visão unificada dos dados. As… (more)

Subjects/Keywords: [pt] ESQUEMA MEDIADO; [en] MEDIATED SCHEMA; [pt] LOGICA DE DESCRICAO; [en] DESCRIPTION LOGICS; [pt] RESTRICOES DE ESQUEMAS MEDIADOS; [en] MEDIUM SCHEME RESTRICTIONS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LAUSCHNER, T. (2018). [en] MODELING THE MEDIATED SCHEMA CONSTRAINTS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=35105

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LAUSCHNER, TANARA. “[en] MODELING THE MEDIATED SCHEMA CONSTRAINTS.” 2018. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=35105.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LAUSCHNER, TANARA. “[en] MODELING THE MEDIATED SCHEMA CONSTRAINTS.” 2018. Web. 03 Dec 2020.

Vancouver:

LAUSCHNER T. [en] MODELING THE MEDIATED SCHEMA CONSTRAINTS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2018. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=35105.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LAUSCHNER T. [en] MODELING THE MEDIATED SCHEMA CONSTRAINTS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2018. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=35105

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

27. TAIRO DOS PRAZERES TEIXEIRA. [en] A FUZZY INFERENCE SYSTEM WITH AUTOMATIC RULE EXTRACTION FOR GAS PATH DIAGNOSIS OF AVIATION GAS TURBINES.

Degree: 2016, Pontifical Catholic University of Rio de Janeiro

[pt] Turbinas a gás são equipamentos muito complexos e caros. No caso de falha em uma turbina, há obviamente perdas diretas, mas as indiretas são… (more)

Subjects/Keywords: [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] CONFIABILIDADE; [en] RELIABILITY; [pt] TURBINA A GAS; [en] GAS TURBINE; [pt] EXTRACAO DE REGRAS; [en] EXTRACTION OF RULES; [pt] INTERPRETABILIDADE; [en] INTERPRETABILITY; [pt] DIAGNOSTICO DE FALHAS; [pt] SISTEMAS DE MONITORAMENTO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

TEIXEIRA, T. D. P. (2016). [en] A FUZZY INFERENCE SYSTEM WITH AUTOMATIC RULE EXTRACTION FOR GAS PATH DIAGNOSIS OF AVIATION GAS TURBINES. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28405

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

TEIXEIRA, TAIRO DOS PRAZERES. “[en] A FUZZY INFERENCE SYSTEM WITH AUTOMATIC RULE EXTRACTION FOR GAS PATH DIAGNOSIS OF AVIATION GAS TURBINES.” 2016. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28405.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

TEIXEIRA, TAIRO DOS PRAZERES. “[en] A FUZZY INFERENCE SYSTEM WITH AUTOMATIC RULE EXTRACTION FOR GAS PATH DIAGNOSIS OF AVIATION GAS TURBINES.” 2016. Web. 03 Dec 2020.

Vancouver:

TEIXEIRA TDP. [en] A FUZZY INFERENCE SYSTEM WITH AUTOMATIC RULE EXTRACTION FOR GAS PATH DIAGNOSIS OF AVIATION GAS TURBINES. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28405.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

TEIXEIRA TDP. [en] A FUZZY INFERENCE SYSTEM WITH AUTOMATIC RULE EXTRACTION FOR GAS PATH DIAGNOSIS OF AVIATION GAS TURBINES. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2016. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28405

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

28. JOSE EDUARDO DE OLIVEIRA TRINDADE. [en] MEASUREMENT AND EVALUATION OF INNOVATIVE CAPACITY OF MICRO, SMALL AND MEDIUM ENTERPRISES: APPLICATION OF FUZZY MULTI-CRITERIA METHODS FOR DECISION SUPPORT.

Degree: 2017, Pontifical Catholic University of Rio de Janeiro

[pt] Na perspectiva de estimular o aprimoramento do processo de gestão da inovação pelas micro, pequenas e médias empresas (MPMEs) brasileiras e contribuir para formulação… (more)

Subjects/Keywords: [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] METROLOGIA; [en] METROLOGY; [pt] CAPACIDADE INOVATIVA; [pt] MPMES; [pt] METODOS MULTICRITERIO DE APOIO A DECISAO; [en] MULTI-CRITERIA DECISION MAKING; [pt] FUZZY AHP-TOPSIS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

TRINDADE, J. E. D. O. (2017). [en] MEASUREMENT AND EVALUATION OF INNOVATIVE CAPACITY OF MICRO, SMALL AND MEDIUM ENTERPRISES: APPLICATION OF FUZZY MULTI-CRITERIA METHODS FOR DECISION SUPPORT. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29381

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

TRINDADE, JOSE EDUARDO DE OLIVEIRA. “[en] MEASUREMENT AND EVALUATION OF INNOVATIVE CAPACITY OF MICRO, SMALL AND MEDIUM ENTERPRISES: APPLICATION OF FUZZY MULTI-CRITERIA METHODS FOR DECISION SUPPORT.” 2017. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29381.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

TRINDADE, JOSE EDUARDO DE OLIVEIRA. “[en] MEASUREMENT AND EVALUATION OF INNOVATIVE CAPACITY OF MICRO, SMALL AND MEDIUM ENTERPRISES: APPLICATION OF FUZZY MULTI-CRITERIA METHODS FOR DECISION SUPPORT.” 2017. Web. 03 Dec 2020.

Vancouver:

TRINDADE JEDO. [en] MEASUREMENT AND EVALUATION OF INNOVATIVE CAPACITY OF MICRO, SMALL AND MEDIUM ENTERPRISES: APPLICATION OF FUZZY MULTI-CRITERIA METHODS FOR DECISION SUPPORT. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29381.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

TRINDADE JEDO. [en] MEASUREMENT AND EVALUATION OF INNOVATIVE CAPACITY OF MICRO, SMALL AND MEDIUM ENTERPRISES: APPLICATION OF FUZZY MULTI-CRITERIA METHODS FOR DECISION SUPPORT. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29381

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

29. NILTON CESAR ANCHAYHUA ARESTEGUI. [en] COMPUTATIONAL INTELLIGENCE TECHNIQUES FOR VISUAL SELF-LOCALIZATION AND MAPPING OF MOBILE ROBOTS.

Degree: 2017, Pontifical Catholic University of Rio de Janeiro

[pt] Esta dissertação introduz um estudo sobre os algoritmos de inteligência computacional para o controle autônomo dos robôs móveis, Nesta pesquisa, são desenvolvidos e implementados… (more)

Subjects/Keywords: [pt] REDES NEURAIS; [en] NEURAL NETWORKS; [pt] INTELIGENCIA COMPUTACIONAL; [en] COMPUTATIONAL INTELLIGENCE; [pt] ROBO MOVEL; [en] MOBILE ROBOT; [pt] ALGORITMOS GENETICOS; [en] GENETIC ALGORITHMS; [pt] SCALE INVARIANT FEATURE TRANSFORM - SIFT; [en] SCALE INVARIANT FEATURE TRANSFORM - SIFT; [pt] LOGICA DIFUSA; [en] FUZZY LOGIC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

ARESTEGUI, N. C. A. (2017). [en] COMPUTATIONAL INTELLIGENCE TECHNIQUES FOR VISUAL SELF-LOCALIZATION AND MAPPING OF MOBILE ROBOTS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31775

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

ARESTEGUI, NILTON CESAR ANCHAYHUA. “[en] COMPUTATIONAL INTELLIGENCE TECHNIQUES FOR VISUAL SELF-LOCALIZATION AND MAPPING OF MOBILE ROBOTS.” 2017. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31775.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

ARESTEGUI, NILTON CESAR ANCHAYHUA. “[en] COMPUTATIONAL INTELLIGENCE TECHNIQUES FOR VISUAL SELF-LOCALIZATION AND MAPPING OF MOBILE ROBOTS.” 2017. Web. 03 Dec 2020.

Vancouver:

ARESTEGUI NCA. [en] COMPUTATIONAL INTELLIGENCE TECHNIQUES FOR VISUAL SELF-LOCALIZATION AND MAPPING OF MOBILE ROBOTS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31775.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

ARESTEGUI NCA. [en] COMPUTATIONAL INTELLIGENCE TECHNIQUES FOR VISUAL SELF-LOCALIZATION AND MAPPING OF MOBILE ROBOTS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31775

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

30. DANIEL DE SOUSA LEITE. [en] ROBOTIC DEVICE FOR MOBILITY ASSISTANCE TO ELDERLY PEOPLE IN URBAN ENVIRONMENTS.

Degree: 2017, Pontifical Catholic University of Rio de Janeiro

[pt] Com o aumento da expectativa, de vida o envelhecimento da população vem se tornando uma realidade cada vez mais presente no Brasil e no… (more)

Subjects/Keywords: [pt] LOGICA FUZZY; [en] FUZZY LOGIC; [pt] IDOSO; [en] OLD PERSON; [pt] AMBIENTE EXTERNO; [en] EXTERNAL ENVIRONMENT; [pt] ROBO MOVEL; [en] MOBILE ROBOT; [pt] SISTEMA EMBARCADO; [en] EMBEDDED SYSTEM; [pt] BENGALA ROBOTICA; [en] CANE ROBOTICS; [pt] PLAYERSTAGE; [en] PLAYERSTAGE; [pt] NAVEGACAO AUTONOMA; [en] AUTONOMOUS NAVIGATION; [pt] RASPBERRY PI; [en] RASPBERRY PI

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LEITE, D. D. S. (2017). [en] ROBOTIC DEVICE FOR MOBILITY ASSISTANCE TO ELDERLY PEOPLE IN URBAN ENVIRONMENTS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=32438

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LEITE, DANIEL DE SOUSA. “[en] ROBOTIC DEVICE FOR MOBILITY ASSISTANCE TO ELDERLY PEOPLE IN URBAN ENVIRONMENTS.” 2017. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed December 03, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=32438.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LEITE, DANIEL DE SOUSA. “[en] ROBOTIC DEVICE FOR MOBILITY ASSISTANCE TO ELDERLY PEOPLE IN URBAN ENVIRONMENTS.” 2017. Web. 03 Dec 2020.

Vancouver:

LEITE DDS. [en] ROBOTIC DEVICE FOR MOBILITY ASSISTANCE TO ELDERLY PEOPLE IN URBAN ENVIRONMENTS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. [cited 2020 Dec 03]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=32438.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LEITE DDS. [en] ROBOTIC DEVICE FOR MOBILITY ASSISTANCE TO ELDERLY PEOPLE IN URBAN ENVIRONMENTS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=32438

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4] [5] … [429]

.