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:(Logical reasoning). Showing records 1 – 30 of 45 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Levels

Languages

Country

▼ Search Limiters


University of Texas – Austin

1. Feng, Yu, Ph. D. Program synthesis using statistical models and logical reasoning.

Degree: PhD, Computer Science, 2018, University of Texas – Austin

 Complex APIs in new frameworks (Spark, R, TensorFlow, etc) have imposed steep learning curves on everyone, especially for people with limited programming backgrounds. For instance,… (more)

Subjects/Keywords: Program synthesis; Logical reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Feng, Yu, P. D. (2018). Program synthesis using statistical models and logical reasoning. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68452

Chicago Manual of Style (16th Edition):

Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed April 18, 2021. http://hdl.handle.net/2152/68452.

MLA Handbook (7th Edition):

Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Web. 18 Apr 2021.

Vancouver:

Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2021 Apr 18]. Available from: http://hdl.handle.net/2152/68452.

Council of Science Editors:

Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68452

2. Rosa, Leandro Viana da. Jogos lógicos no Ensino Fundamental.

Degree: 2016, Brazil

Esta pesquisa se dedicou à introdução dos jogos lógicos na sala de aula, em específico, ela busca a investigação das dificuldades encontradas pelos alunos com… (more)

Subjects/Keywords: Jogos lógicos; Raciocínio lógico; Logical games; Logical reasoning; Ruler and compass; Geometry; Case study

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rosa, L. V. d. (2016). Jogos lógicos no Ensino Fundamental. (Masters Thesis). Brazil. Retrieved from http://hdl.handle.net/10183/157534

Chicago Manual of Style (16th Edition):

Rosa, Leandro Viana da. “Jogos lógicos no Ensino Fundamental.” 2016. Masters Thesis, Brazil. Accessed April 18, 2021. http://hdl.handle.net/10183/157534.

MLA Handbook (7th Edition):

Rosa, Leandro Viana da. “Jogos lógicos no Ensino Fundamental.” 2016. Web. 18 Apr 2021.

Vancouver:

Rosa LVd. Jogos lógicos no Ensino Fundamental. [Internet] [Masters thesis]. Brazil; 2016. [cited 2021 Apr 18]. Available from: http://hdl.handle.net/10183/157534.

Council of Science Editors:

Rosa LVd. Jogos lógicos no Ensino Fundamental. [Masters Thesis]. Brazil; 2016. Available from: http://hdl.handle.net/10183/157534


University of Manchester

3. Howarth, Elizabeth. New rationality principles in pure inductive logic.

Degree: PhD, 2015, University of Manchester

 We propose and investigate several new principles of rational reasoning within the framework of Pure Inductive Logic, PIL, where probability functions defined on the sentences… (more)

Subjects/Keywords: 519.2; Inductive Logic; Logical Probability; Rationality; Uncertain Reasoning; Spectrum Exchangeability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Howarth, E. (2015). New rationality principles in pure inductive logic. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664572

Chicago Manual of Style (16th Edition):

Howarth, Elizabeth. “New rationality principles in pure inductive logic.” 2015. Doctoral Dissertation, University of Manchester. Accessed April 18, 2021. https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664572.

MLA Handbook (7th Edition):

Howarth, Elizabeth. “New rationality principles in pure inductive logic.” 2015. Web. 18 Apr 2021.

Vancouver:

Howarth E. New rationality principles in pure inductive logic. [Internet] [Doctoral dissertation]. University of Manchester; 2015. [cited 2021 Apr 18]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664572.

Council of Science Editors:

Howarth E. New rationality principles in pure inductive logic. [Doctoral Dissertation]. University of Manchester; 2015. Available from: https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664572


University of Manchester

4. Howarth, Elizabeth. New Rationality Principles in Pure Inductive Logic.

Degree: 2015, University of Manchester

 We propose and investigate several new principles of rational reasoning within the framework of Pure Inductive Logic, PIL, where probability functions defined on the sentences… (more)

Subjects/Keywords: Inductive Logic; Logical Probability; Rationality; Uncertain Reasoning; Spectrum Exchangeability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Howarth, E. (2015). New Rationality Principles in Pure Inductive Logic. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:268325

Chicago Manual of Style (16th Edition):

Howarth, Elizabeth. “New Rationality Principles in Pure Inductive Logic.” 2015. Doctoral Dissertation, University of Manchester. Accessed April 18, 2021. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:268325.

MLA Handbook (7th Edition):

Howarth, Elizabeth. “New Rationality Principles in Pure Inductive Logic.” 2015. Web. 18 Apr 2021.

Vancouver:

Howarth E. New Rationality Principles in Pure Inductive Logic. [Internet] [Doctoral dissertation]. University of Manchester; 2015. [cited 2021 Apr 18]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:268325.

Council of Science Editors:

Howarth E. New Rationality Principles in Pure Inductive Logic. [Doctoral Dissertation]. University of Manchester; 2015. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:268325


University of Oxford

5. Gottardis, L. Deaf primary school children's achievement in mathematics.

Degree: PhD, 2014, University of Oxford

 The present research aims to evaluate the extent of deaf children’s delay in mathematics, identifying the moderators of this delay and determine the longitudinal predictors… (more)

Subjects/Keywords: 371.91282; Early and Child learning; mathematics; deaf; working memory; achievement; logical reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gottardis, L. (2014). Deaf primary school children's achievement in mathematics. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:13f90aa3-c27e-46e2-a6b6-3db04de3712f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604544

Chicago Manual of Style (16th Edition):

Gottardis, L. “Deaf primary school children's achievement in mathematics.” 2014. Doctoral Dissertation, University of Oxford. Accessed April 18, 2021. http://ora.ox.ac.uk/objects/uuid:13f90aa3-c27e-46e2-a6b6-3db04de3712f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604544.

MLA Handbook (7th Edition):

Gottardis, L. “Deaf primary school children's achievement in mathematics.” 2014. Web. 18 Apr 2021.

Vancouver:

Gottardis L. Deaf primary school children's achievement in mathematics. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2021 Apr 18]. Available from: http://ora.ox.ac.uk/objects/uuid:13f90aa3-c27e-46e2-a6b6-3db04de3712f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604544.

Council of Science Editors:

Gottardis L. Deaf primary school children's achievement in mathematics. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:13f90aa3-c27e-46e2-a6b6-3db04de3712f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604544

6. Nizamani, Abdul Rahim. Reasoning with Bounded Cognitive Resources.

Degree: 2015, University of Gothenburg / Göteborgs Universitet

Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI).… (more)

Subjects/Keywords: Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling

Page 1 Page 2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nizamani, A. R. (2015). Reasoning with Bounded Cognitive Resources. (Thesis). University of Gothenburg / Göteborgs Universitet. Retrieved from http://hdl.handle.net/2077/40579

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):

Nizamani, Abdul Rahim. “Reasoning with Bounded Cognitive Resources.” 2015. Thesis, University of Gothenburg / Göteborgs Universitet. Accessed April 18, 2021. http://hdl.handle.net/2077/40579.

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

MLA Handbook (7th Edition):

Nizamani, Abdul Rahim. “Reasoning with Bounded Cognitive Resources.” 2015. Web. 18 Apr 2021.

Vancouver:

Nizamani AR. Reasoning with Bounded Cognitive Resources. [Internet] [Thesis]. University of Gothenburg / Göteborgs Universitet; 2015. [cited 2021 Apr 18]. Available from: http://hdl.handle.net/2077/40579.

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

Council of Science Editors:

Nizamani AR. Reasoning with Bounded Cognitive Resources. [Thesis]. University of Gothenburg / Göteborgs Universitet; 2015. Available from: http://hdl.handle.net/2077/40579

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

7. Santos, Ricardo Pessoa dos. A matemática por trás do sudoku, um estudo de caso em análise combinatória.

Degree: 2017, Universidade Estadual Paulista (UNESP)

Submitted by Ricardo Pessoa Dos Santos null ([email protected]) on 2017-12-14T17:35:33Z No. of bitstreams: 1 Dissertação.pdf: 4489608 bytes, checksum: 2c9d751844c4b178546f2154b0718705 (MD5)

Approved for entry into archive… (more)

Subjects/Keywords: Sudoku; Raciocínio lógico; Análise combinatória; Quadrados latinos ortogonais; Logical reasoning; Combinatorial analisys; Orthogonal latin squares

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santos, R. P. d. (2017). A matemática por trás do sudoku, um estudo de caso em análise combinatória. (Masters Thesis). Universidade Estadual Paulista (UNESP). Retrieved from http://hdl.handle.net/11449/152320

Chicago Manual of Style (16th Edition):

Santos, Ricardo Pessoa dos. “A matemática por trás do sudoku, um estudo de caso em análise combinatória.” 2017. Masters Thesis, Universidade Estadual Paulista (UNESP). Accessed April 18, 2021. http://hdl.handle.net/11449/152320.

MLA Handbook (7th Edition):

Santos, Ricardo Pessoa dos. “A matemática por trás do sudoku, um estudo de caso em análise combinatória.” 2017. Web. 18 Apr 2021.

Vancouver:

Santos RPd. A matemática por trás do sudoku, um estudo de caso em análise combinatória. [Internet] [Masters thesis]. Universidade Estadual Paulista (UNESP); 2017. [cited 2021 Apr 18]. Available from: http://hdl.handle.net/11449/152320.

Council of Science Editors:

Santos RPd. A matemática por trás do sudoku, um estudo de caso em análise combinatória. [Masters Thesis]. Universidade Estadual Paulista (UNESP); 2017. Available from: http://hdl.handle.net/11449/152320


Technical University of Lisbon

8. Rodrigues, Joana Filomena da Madalena. Raciocínio lógico-matemático : um estudo de caso com uma criança com Trissomia 21.

Degree: 2015, Technical University of Lisbon

Mestrado em Educação Especial

O desenvolvimento de competências matemáticas é essencial para o desenvolvimento da nossa autonomia. Este estudo pretendeu explorar o raciocínio lógico-matemático de… (more)

Subjects/Keywords: Autonomia; Desenvolvimento cognitivo; Memorização; Raciocínio lógico-matemático; Trissomia 21; Cognitive development; Down syndrome; Logical-mathematical reasoning; Memorization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rodrigues, J. F. d. M. (2015). Raciocínio lógico-matemático : um estudo de caso com uma criança com Trissomia 21. (Thesis). Technical University of Lisbon. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/8621

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):

Rodrigues, Joana Filomena da Madalena. “Raciocínio lógico-matemático : um estudo de caso com uma criança com Trissomia 21.” 2015. Thesis, Technical University of Lisbon. Accessed April 18, 2021. http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/8621.

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

MLA Handbook (7th Edition):

Rodrigues, Joana Filomena da Madalena. “Raciocínio lógico-matemático : um estudo de caso com uma criança com Trissomia 21.” 2015. Web. 18 Apr 2021.

Vancouver:

Rodrigues JFdM. Raciocínio lógico-matemático : um estudo de caso com uma criança com Trissomia 21. [Internet] [Thesis]. Technical University of Lisbon; 2015. [cited 2021 Apr 18]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/8621.

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

Council of Science Editors:

Rodrigues JFdM. Raciocínio lógico-matemático : um estudo de caso com uma criança com Trissomia 21. [Thesis]. Technical University of Lisbon; 2015. Available from: http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/8621

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

9. Joelma Guimarães. Matemática escolar, raciocínio lógico e a construção do "bom aluno" em matemática.

Degree: 2009, Universidade do Vale do Rio do Sinos

A dissertação tem por objetivo problematizar como professoras de uma escola estadual do município de Esteio, situado na região metropolitana da capital do Estado do… (more)

Subjects/Keywords: EDUCACAO; pareceres descritivos; educação matemática; método cartesiano; raciocínio lógico; descriptive evaluations; mathematical education; cartesian method; logical reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Guimarães, J. (2009). Matemática escolar, raciocínio lógico e a construção do "bom aluno" em matemática. (Thesis). Universidade do Vale do Rio do Sinos. Retrieved from http://bdtd.unisinos.br/tde_busca/arquivo.php?codArquivo=1196

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):

Guimarães, Joelma. “Matemática escolar, raciocínio lógico e a construção do "bom aluno" em matemática.” 2009. Thesis, Universidade do Vale do Rio do Sinos. Accessed April 18, 2021. http://bdtd.unisinos.br/tde_busca/arquivo.php?codArquivo=1196.

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

MLA Handbook (7th Edition):

Guimarães, Joelma. “Matemática escolar, raciocínio lógico e a construção do "bom aluno" em matemática.” 2009. Web. 18 Apr 2021.

Vancouver:

Guimarães J. Matemática escolar, raciocínio lógico e a construção do "bom aluno" em matemática. [Internet] [Thesis]. Universidade do Vale do Rio do Sinos; 2009. [cited 2021 Apr 18]. Available from: http://bdtd.unisinos.br/tde_busca/arquivo.php?codArquivo=1196.

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

Council of Science Editors:

Guimarães J. Matemática escolar, raciocínio lógico e a construção do "bom aluno" em matemática. [Thesis]. Universidade do Vale do Rio do Sinos; 2009. Available from: http://bdtd.unisinos.br/tde_busca/arquivo.php?codArquivo=1196

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


Pontifícia Universidade Católica de São Paulo

10. Cilene Tineli. Desenvolvimento do raciocínio lógico e educação: um estudo com crianças de quatro a seis anos.

Degree: 2006, Pontifícia Universidade Católica de São Paulo

Os pressupostos teóricos que embasam o presente estudo abordam o pensamento lógico como um dos processos mais importantes que ocorrem na formação da consciência. A… (more)

Subjects/Keywords: Logical reasoning; Psicologia da crianca; Desenvolvimento infantil; Raciocinio em criancas; PSICOLOGIA EDUCACIONAL; Educação infantil; Children education; Raciocínio lógico

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tineli, C. (2006). Desenvolvimento do raciocínio lógico e educação: um estudo com crianças de quatro a seis anos. (Thesis). Pontifícia Universidade Católica de São Paulo. Retrieved from http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=2823

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):

Tineli, Cilene. “Desenvolvimento do raciocínio lógico e educação: um estudo com crianças de quatro a seis anos.” 2006. Thesis, Pontifícia Universidade Católica de São Paulo. Accessed April 18, 2021. http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=2823.

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

MLA Handbook (7th Edition):

Tineli, Cilene. “Desenvolvimento do raciocínio lógico e educação: um estudo com crianças de quatro a seis anos.” 2006. Web. 18 Apr 2021.

Vancouver:

Tineli C. Desenvolvimento do raciocínio lógico e educação: um estudo com crianças de quatro a seis anos. [Internet] [Thesis]. Pontifícia Universidade Católica de São Paulo; 2006. [cited 2021 Apr 18]. Available from: http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=2823.

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

Council of Science Editors:

Tineli C. Desenvolvimento do raciocínio lógico e educação: um estudo com crianças de quatro a seis anos. [Thesis]. Pontifícia Universidade Católica de São Paulo; 2006. Available from: http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=2823

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

11. Grimaud, Christel. Logical modelling of reasoning and learning : a bio-inspired approach : Modélisation logique du raisonnement et de l’apprentissage : une approche bio-inspirée.

Degree: Docteur es, Philosophie, 2016, Lille 3

Dans ce mémoire, on s’inspire des sciences cognitives pour aborder la question de la modélisation logique du raisonnement et de l’apprentissage. Notre principale conviction est… (more)

Subjects/Keywords: Modélisation logique; Logique non-Monotone; Raisonnement; Apprentissage; Sciences cognitives; Logical modelling; Non-Monotonic Logic; Reasoning; Learning; Cognitive sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grimaud, C. (2016). Logical modelling of reasoning and learning : a bio-inspired approach : Modélisation logique du raisonnement et de l’apprentissage : une approche bio-inspirée. (Doctoral Dissertation). Lille 3. Retrieved from http://www.theses.fr/2016LIL30026

Chicago Manual of Style (16th Edition):

Grimaud, Christel. “Logical modelling of reasoning and learning : a bio-inspired approach : Modélisation logique du raisonnement et de l’apprentissage : une approche bio-inspirée.” 2016. Doctoral Dissertation, Lille 3. Accessed April 18, 2021. http://www.theses.fr/2016LIL30026.

MLA Handbook (7th Edition):

Grimaud, Christel. “Logical modelling of reasoning and learning : a bio-inspired approach : Modélisation logique du raisonnement et de l’apprentissage : une approche bio-inspirée.” 2016. Web. 18 Apr 2021.

Vancouver:

Grimaud C. Logical modelling of reasoning and learning : a bio-inspired approach : Modélisation logique du raisonnement et de l’apprentissage : une approche bio-inspirée. [Internet] [Doctoral dissertation]. Lille 3; 2016. [cited 2021 Apr 18]. Available from: http://www.theses.fr/2016LIL30026.

Council of Science Editors:

Grimaud C. Logical modelling of reasoning and learning : a bio-inspired approach : Modélisation logique du raisonnement et de l’apprentissage : une approche bio-inspirée. [Doctoral Dissertation]. Lille 3; 2016. Available from: http://www.theses.fr/2016LIL30026


University of Ottawa

12. Battell, Chelsea. The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid .

Degree: 2016, University of Ottawa

 Hybrid is a two-level logical framework that supports higher-order abstract syntax (HOAS), where a specification logic (SL) extends the class of object logics (OLs) we… (more)

Subjects/Keywords: cut admissibility; structural rules; interactive theorem proving; inductive reasoning; Coq; logical frameworks; higher-order abstract syntax

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Battell, C. (2016). The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/35264

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):

Battell, Chelsea. “The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid .” 2016. Thesis, University of Ottawa. Accessed April 18, 2021. http://hdl.handle.net/10393/35264.

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

MLA Handbook (7th Edition):

Battell, Chelsea. “The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid .” 2016. Web. 18 Apr 2021.

Vancouver:

Battell C. The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid . [Internet] [Thesis]. University of Ottawa; 2016. [cited 2021 Apr 18]. Available from: http://hdl.handle.net/10393/35264.

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

Council of Science Editors:

Battell C. The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid . [Thesis]. University of Ottawa; 2016. Available from: http://hdl.handle.net/10393/35264

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


University of Miami

13. Arhami, Negin. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.

Degree: MS, Computer Science (Arts and Sciences), 2014, University of Miami

  Many Automated Theorem Prover (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed… (more)

Subjects/Keywords: Automated Theorem Proving; Description Logic; Logic Translation; Conjunctive Normal Form (CNF); Logical Form; Automated Reasoning; Saffron DL Translator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arhami, N. (2014). The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. (Thesis). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_theses/519

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):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Thesis, University of Miami. Accessed April 18, 2021. https://scholarlyrepository.miami.edu/oa_theses/519.

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

MLA Handbook (7th Edition):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Web. 18 Apr 2021.

Vancouver:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Internet] [Thesis]. University of Miami; 2014. [cited 2021 Apr 18]. Available from: https://scholarlyrepository.miami.edu/oa_theses/519.

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

Council of Science Editors:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Thesis]. University of Miami; 2014. Available from: https://scholarlyrepository.miami.edu/oa_theses/519

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

14. Silva, Nilton Miguel da. Motivação para aprendizagem Matemática: uma experiência inspiradora.

Degree: 2018, Universidade Federal do Amazonas

D’Ambrósio (1996, p.29) aponta que “os programas de Matemática consistem em coisas acabadas, mortas e absolutamente fora do contexto e com isso, torna-se casa vez… (more)

Subjects/Keywords: Matemática - Motivação; Resolução de Problemas; Raciocínio Lógico; Logical reasoning; Troubleshooting; CIENCIAS EXATAS E DA TERRA: MATEMATICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Silva, N. M. d. (2018). Motivação para aprendizagem Matemática: uma experiência inspiradora. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6300

Chicago Manual of Style (16th Edition):

Silva, Nilton Miguel da. “Motivação para aprendizagem Matemática: uma experiência inspiradora.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed April 18, 2021. https://tede.ufam.edu.br/handle/tede/6300.

MLA Handbook (7th Edition):

Silva, Nilton Miguel da. “Motivação para aprendizagem Matemática: uma experiência inspiradora.” 2018. Web. 18 Apr 2021.

Vancouver:

Silva NMd. Motivação para aprendizagem Matemática: uma experiência inspiradora. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2021 Apr 18]. Available from: https://tede.ufam.edu.br/handle/tede/6300.

Council of Science Editors:

Silva NMd. Motivação para aprendizagem Matemática: uma experiência inspiradora. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6300

15. Silva, Nilton Miguel da. Motivação para aprendizagem Matemática: uma experiência inspiradora.

Degree: 2018, Universidade Federal do Amazonas; Programa de Pós-graduação em Matemática; UFAM; Brasil; Instituto de Ciências Exatas

Submitted by Divisão de Documentação/BC Biblioteca Central ([email protected]) on 2018-04-11T14:06:58Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Nilton M. Silva.pdf: 2876212 bytes,… (more)

Subjects/Keywords: Matemática - Motivação; Resolução de Problemas; Raciocínio Lógico; Logical reasoning; Troubleshooting; CIENCIAS EXATAS E DA TERRA: MATEMATICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Silva, N. M. d. (2018). Motivação para aprendizagem Matemática: uma experiência inspiradora. (Masters Thesis). Universidade Federal do Amazonas; Programa de Pós-graduação em Matemática; UFAM; Brasil; Instituto de Ciências Exatas. Retrieved from https://tede.ufam.edu.br/handle/tede/6300

Chicago Manual of Style (16th Edition):

Silva, Nilton Miguel da. “Motivação para aprendizagem Matemática: uma experiência inspiradora.” 2018. Masters Thesis, Universidade Federal do Amazonas; Programa de Pós-graduação em Matemática; UFAM; Brasil; Instituto de Ciências Exatas. Accessed April 18, 2021. https://tede.ufam.edu.br/handle/tede/6300.

MLA Handbook (7th Edition):

Silva, Nilton Miguel da. “Motivação para aprendizagem Matemática: uma experiência inspiradora.” 2018. Web. 18 Apr 2021.

Vancouver:

Silva NMd. Motivação para aprendizagem Matemática: uma experiência inspiradora. [Internet] [Masters thesis]. Universidade Federal do Amazonas; Programa de Pós-graduação em Matemática; UFAM; Brasil; Instituto de Ciências Exatas; 2018. [cited 2021 Apr 18]. Available from: https://tede.ufam.edu.br/handle/tede/6300.

Council of Science Editors:

Silva NMd. Motivação para aprendizagem Matemática: uma experiência inspiradora. [Masters Thesis]. Universidade Federal do Amazonas; Programa de Pós-graduação em Matemática; UFAM; Brasil; Instituto de Ciências Exatas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6300

16. MAISCH, Ricardo Nogueira. O raciocínio lógico-matemático em correlação com a atividade musical na adolescência: Estudo contextualizado na perspectiva de construção de instrumento psicológico.

Degree: 2015, Federal University of Pernambuco

CAPES

A relação entre música e matemática perpassa pela história desde Pitágoras até os dias de hoje, entretanto tal proximidade perdeu força ao longo do… (more)

Subjects/Keywords: Psicologia cognitiva; Raciocínio (Psicologia) - Testes; Música - Instrução e estudo; Adolescentes - Testes psicológicos; logical mathematical reasoning; musical activity; teenagers; cognition

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

MAISCH, R. N. (2015). O raciocínio lógico-matemático em correlação com a atividade musical na adolescência: Estudo contextualizado na perspectiva de construção de instrumento psicológico. (Masters Thesis). Federal University of Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/15523

Chicago Manual of Style (16th Edition):

MAISCH, Ricardo Nogueira. “O raciocínio lógico-matemático em correlação com a atividade musical na adolescência: Estudo contextualizado na perspectiva de construção de instrumento psicológico.” 2015. Masters Thesis, Federal University of Pernambuco. Accessed April 18, 2021. https://repositorio.ufpe.br/handle/123456789/15523.

MLA Handbook (7th Edition):

MAISCH, Ricardo Nogueira. “O raciocínio lógico-matemático em correlação com a atividade musical na adolescência: Estudo contextualizado na perspectiva de construção de instrumento psicológico.” 2015. Web. 18 Apr 2021.

Vancouver:

MAISCH RN. O raciocínio lógico-matemático em correlação com a atividade musical na adolescência: Estudo contextualizado na perspectiva de construção de instrumento psicológico. [Internet] [Masters thesis]. Federal University of Pernambuco; 2015. [cited 2021 Apr 18]. Available from: https://repositorio.ufpe.br/handle/123456789/15523.

Council of Science Editors:

MAISCH RN. O raciocínio lógico-matemático em correlação com a atividade musical na adolescência: Estudo contextualizado na perspectiva de construção de instrumento psicológico. [Masters Thesis]. Federal University of Pernambuco; 2015. Available from: https://repositorio.ufpe.br/handle/123456789/15523

17. Cristiano Pedroso. Algoritmos comportamentais: uma leitura da neuropsicologia para a relação entre o comportamento de superimitação, as funções executivas e cognição social nas crianças da educação.

Degree: 2019, University of São Paulo

Com maiores publicações no início do século XXI, o tema superimitação, ou overimitation, tem despertado interesse de alguns psicólogos e biólogos por se tratar de… (more)

Subjects/Keywords: Cognição Social; Educação infantil; Funções executivas; Raciocínio Lógico; Superimitação; Child education; Executive functions; Logical reasoning; Overimitation; Social cognition

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pedroso, C. (2019). Algoritmos comportamentais: uma leitura da neuropsicologia para a relação entre o comportamento de superimitação, as funções executivas e cognição social nas crianças da educação. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/47/47135/tde-13062019-145206/

Chicago Manual of Style (16th Edition):

Pedroso, Cristiano. “Algoritmos comportamentais: uma leitura da neuropsicologia para a relação entre o comportamento de superimitação, as funções executivas e cognição social nas crianças da educação.” 2019. Masters Thesis, University of São Paulo. Accessed April 18, 2021. http://www.teses.usp.br/teses/disponiveis/47/47135/tde-13062019-145206/.

MLA Handbook (7th Edition):

Pedroso, Cristiano. “Algoritmos comportamentais: uma leitura da neuropsicologia para a relação entre o comportamento de superimitação, as funções executivas e cognição social nas crianças da educação.” 2019. Web. 18 Apr 2021.

Vancouver:

Pedroso C. Algoritmos comportamentais: uma leitura da neuropsicologia para a relação entre o comportamento de superimitação, as funções executivas e cognição social nas crianças da educação. [Internet] [Masters thesis]. University of São Paulo; 2019. [cited 2021 Apr 18]. Available from: http://www.teses.usp.br/teses/disponiveis/47/47135/tde-13062019-145206/.

Council of Science Editors:

Pedroso C. Algoritmos comportamentais: uma leitura da neuropsicologia para a relação entre o comportamento de superimitação, as funções executivas e cognição social nas crianças da educação. [Masters Thesis]. University of São Paulo; 2019. Available from: http://www.teses.usp.br/teses/disponiveis/47/47135/tde-13062019-145206/

18. Aline dos Reis Matheus. Argumentação e prova na matemática escolar.

Degree: 2016, University of São Paulo

Este trabalho revisa e problematiza a usual associação entre a matemática escolar e o desenvolvimento do raciocínio lógico, introduzindo a argumentação e a prova em… (more)

Subjects/Keywords: Concepções de professores; Demonstração; Ensino de matemática; Prova matemática; Raciocínio lógico; Logical reasoning; Mathematics education; Mathematics proof; Mathematics teaching; Teachers conceptions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Matheus, A. d. R. (2016). Argumentação e prova na matemática escolar. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45135/tde-04112016-170425/

Chicago Manual of Style (16th Edition):

Matheus, Aline dos Reis. “Argumentação e prova na matemática escolar.” 2016. Masters Thesis, University of São Paulo. Accessed April 18, 2021. http://www.teses.usp.br/teses/disponiveis/45/45135/tde-04112016-170425/.

MLA Handbook (7th Edition):

Matheus, Aline dos Reis. “Argumentação e prova na matemática escolar.” 2016. Web. 18 Apr 2021.

Vancouver:

Matheus AdR. Argumentação e prova na matemática escolar. [Internet] [Masters thesis]. University of São Paulo; 2016. [cited 2021 Apr 18]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45135/tde-04112016-170425/.

Council of Science Editors:

Matheus AdR. Argumentação e prova na matemática escolar. [Masters Thesis]. University of São Paulo; 2016. Available from: http://www.teses.usp.br/teses/disponiveis/45/45135/tde-04112016-170425/

19. Rafael Montoito Teixeira. Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense.

Degree: 2007, Universidade Federal do Rio Grande do Norte

Exímio professor de matemática, Lewis Carroll, pseudônimo de Charles Lutwidge Dodgson (18321898), fez da mistura da matemática com a literatura um ambiente lúdico para a… (more)

Subjects/Keywords: Lewis Carroll; Lógica do nonsense; Romances matemáticos; Educação; Educação matemática; Raciocínio lógico-matemático; EDUCACAO; Lewis Carroll; Logic of nonsense; Mathematics romances; Education; Mathematics education; Reasoning logical-mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Teixeira, R. M. (2007). Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense. (Thesis). Universidade Federal do Rio Grande do Norte. Retrieved from http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=1511

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, Rafael Montoito. “Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense.” 2007. Thesis, Universidade Federal do Rio Grande do Norte. Accessed April 18, 2021. http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=1511.

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

MLA Handbook (7th Edition):

Teixeira, Rafael Montoito. “Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense.” 2007. Web. 18 Apr 2021.

Vancouver:

Teixeira RM. Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense. [Internet] [Thesis]. Universidade Federal do Rio Grande do Norte; 2007. [cited 2021 Apr 18]. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=1511.

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

Council of Science Editors:

Teixeira RM. Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense. [Thesis]. Universidade Federal do Rio Grande do Norte; 2007. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=1511

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


Universidade do Rio Grande do Norte

20. Teixeira, Rafael Montoito. Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense .

Degree: 2007, Universidade do Rio Grande do Norte

 Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline.… (more)

Subjects/Keywords: Lewis Carroll; Lógica do nonsense; Romances matemáticos; Educação; Educação matemática; Raciocínio lógico-matemático; Lewis Carroll; Logic of nonsense; Mathematics romances; Education; Mathematics education; Reasoning logical-mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Teixeira, R. M. (2007). Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense . (Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/14189

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, Rafael Montoito. “Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense .” 2007. Thesis, Universidade do Rio Grande do Norte. Accessed April 18, 2021. http://repositorio.ufrn.br/handle/123456789/14189.

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

MLA Handbook (7th Edition):

Teixeira, Rafael Montoito. “Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense .” 2007. Web. 18 Apr 2021.

Vancouver:

Teixeira RM. Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense . [Internet] [Thesis]. Universidade do Rio Grande do Norte; 2007. [cited 2021 Apr 18]. Available from: http://repositorio.ufrn.br/handle/123456789/14189.

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

Council of Science Editors:

Teixeira RM. Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense . [Thesis]. Universidade do Rio Grande do Norte; 2007. Available from: http://repositorio.ufrn.br/handle/123456789/14189

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

21. Dias, Cátia Filipa Madaleno. Resolução de problemas de dedução lógica na promoção da comunicação matemática na oralidade.

Degree: 2016, Instituto Politécnico de Castelo Branco

Relatório de Estágio apresentado à Escola Superior de Educação do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de… (more)

Subjects/Keywords: Comunicação oral matemática; Raciocínio lógico; Resolução de problemas; Pensar alto; Oral communication mathematics; Logical reasoning; Troubleshooting; Think high; Domínio/Área Científica::Ciências Sociais::Ciências da Educação

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dias, C. F. M. (2016). Resolução de problemas de dedução lógica na promoção da comunicação matemática na oralidade. (Thesis). Instituto Politécnico de Castelo Branco. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipcb.pt:10400.11/5395

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):

Dias, Cátia Filipa Madaleno. “Resolução de problemas de dedução lógica na promoção da comunicação matemática na oralidade.” 2016. Thesis, Instituto Politécnico de Castelo Branco. Accessed April 18, 2021. https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipcb.pt:10400.11/5395.

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

MLA Handbook (7th Edition):

Dias, Cátia Filipa Madaleno. “Resolução de problemas de dedução lógica na promoção da comunicação matemática na oralidade.” 2016. Web. 18 Apr 2021.

Vancouver:

Dias CFM. Resolução de problemas de dedução lógica na promoção da comunicação matemática na oralidade. [Internet] [Thesis]. Instituto Politécnico de Castelo Branco; 2016. [cited 2021 Apr 18]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipcb.pt:10400.11/5395.

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

Council of Science Editors:

Dias CFM. Resolução de problemas de dedução lógica na promoção da comunicação matemática na oralidade. [Thesis]. Instituto Politécnico de Castelo Branco; 2016. Available from: https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipcb.pt:10400.11/5395

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


Université de Lorraine

22. Kherroubi, Souad. Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B : A formal framework to integrate domain knowledge into system design : Application to Event-B formalism.

Degree: Docteur es, Informatique, 2018, Université de Lorraine

Cette thèse vise à définir des techniques pour mieux exploiter les connaissances du domaine dans l’objectif de rendre compte de la réalité de systèmes qualifiés… (more)

Subjects/Keywords: Méthodes formelles; Preuve; Modélisation; Représentation des connaissances; Raisonnement ontologique; Formalismes logiques; Event-B; Raffinement; Formal Methods; Proof; Systems Design; Knowledge Representation; Ontological Reasoning; Logical Formalisms; Event-B; Refinement; 004.21

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kherroubi, S. (2018). Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B : A formal framework to integrate domain knowledge into system design : Application to Event-B formalism. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2018LORR0230

Chicago Manual of Style (16th Edition):

Kherroubi, Souad. “Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B : A formal framework to integrate domain knowledge into system design : Application to Event-B formalism.” 2018. Doctoral Dissertation, Université de Lorraine. Accessed April 18, 2021. http://www.theses.fr/2018LORR0230.

MLA Handbook (7th Edition):

Kherroubi, Souad. “Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B : A formal framework to integrate domain knowledge into system design : Application to Event-B formalism.” 2018. Web. 18 Apr 2021.

Vancouver:

Kherroubi S. Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B : A formal framework to integrate domain knowledge into system design : Application to Event-B formalism. [Internet] [Doctoral dissertation]. Université de Lorraine; 2018. [cited 2021 Apr 18]. Available from: http://www.theses.fr/2018LORR0230.

Council of Science Editors:

Kherroubi S. Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B : A formal framework to integrate domain knowledge into system design : Application to Event-B formalism. [Doctoral Dissertation]. Université de Lorraine; 2018. Available from: http://www.theses.fr/2018LORR0230

23. Sluder, Jeanne Atwell. The importance of cultivating the art of logical reasoning for empowerment and advancement: The successful female leader.

Degree: PhD, Rhetoric, 2007, Texas Woman's University

 The impetus for this study evolved out of my scholarship in the areas of rhetoric and business management. In spite of the overall good feeling… (more)

Subjects/Keywords: Social sciences; Language, literature, and linguistics; Advancement; Empowerment; Leader; Logical reasoning; Women leaders

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sluder, J. A. (2007). The importance of cultivating the art of logical reasoning for empowerment and advancement: The successful female leader. (Doctoral Dissertation). Texas Woman's University. Retrieved from http://hdl.handle.net/11274/458

Chicago Manual of Style (16th Edition):

Sluder, Jeanne Atwell. “The importance of cultivating the art of logical reasoning for empowerment and advancement: The successful female leader.” 2007. Doctoral Dissertation, Texas Woman's University. Accessed April 18, 2021. http://hdl.handle.net/11274/458.

MLA Handbook (7th Edition):

Sluder, Jeanne Atwell. “The importance of cultivating the art of logical reasoning for empowerment and advancement: The successful female leader.” 2007. Web. 18 Apr 2021.

Vancouver:

Sluder JA. The importance of cultivating the art of logical reasoning for empowerment and advancement: The successful female leader. [Internet] [Doctoral dissertation]. Texas Woman's University; 2007. [cited 2021 Apr 18]. Available from: http://hdl.handle.net/11274/458.

Council of Science Editors:

Sluder JA. The importance of cultivating the art of logical reasoning for empowerment and advancement: The successful female leader. [Doctoral Dissertation]. Texas Woman's University; 2007. Available from: http://hdl.handle.net/11274/458


University of Maryland

24. Shet, Vinay Damodar. Bilattice based Logical Reasoning for Automated Visual Surveillance and other Applications.

Degree: Computer Science, 2007, University of Maryland

 The primary objective of an automated visual surveillance system is to observe and understand human behavior and report unusual or potentially dangerous activities/events in a… (more)

Subjects/Keywords: Computer Science; Artificial Intelligence; Bilattice; Logical Reasoning; Computer Vision; Visual Surveillance; Collaborative Filtering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shet, V. D. (2007). Bilattice based Logical Reasoning for Automated Visual Surveillance and other Applications. (Thesis). University of Maryland. Retrieved from http://hdl.handle.net/1903/6715

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):

Shet, Vinay Damodar. “Bilattice based Logical Reasoning for Automated Visual Surveillance and other Applications.” 2007. Thesis, University of Maryland. Accessed April 18, 2021. http://hdl.handle.net/1903/6715.

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

MLA Handbook (7th Edition):

Shet, Vinay Damodar. “Bilattice based Logical Reasoning for Automated Visual Surveillance and other Applications.” 2007. Web. 18 Apr 2021.

Vancouver:

Shet VD. Bilattice based Logical Reasoning for Automated Visual Surveillance and other Applications. [Internet] [Thesis]. University of Maryland; 2007. [cited 2021 Apr 18]. Available from: http://hdl.handle.net/1903/6715.

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

Council of Science Editors:

Shet VD. Bilattice based Logical Reasoning for Automated Visual Surveillance and other Applications. [Thesis]. University of Maryland; 2007. Available from: http://hdl.handle.net/1903/6715

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


University of New South Wales

25. Ji, Chengyu Krystian. Conditionals for representing implicational and causal knowledge.

Degree: Computer Science & Engineering, 2010, University of New South Wales

 This thesis proposes a model-theoretic approach to address two foundational issues: the semantic conception of indicative conditionals, and that of causation. For many years both… (more)

Subjects/Keywords: Indicative Conditionals; Model Theory; Logical Foundation for Artificial Intelligence; Causation; Commonsense Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ji, C. K. (2010). Conditionals for representing implicational and causal knowledge. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/45357 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8652/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Ji, Chengyu Krystian. “Conditionals for representing implicational and causal knowledge.” 2010. Doctoral Dissertation, University of New South Wales. Accessed April 18, 2021. http://handle.unsw.edu.au/1959.4/45357 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8652/SOURCE02?view=true.

MLA Handbook (7th Edition):

Ji, Chengyu Krystian. “Conditionals for representing implicational and causal knowledge.” 2010. Web. 18 Apr 2021.

Vancouver:

Ji CK. Conditionals for representing implicational and causal knowledge. [Internet] [Doctoral dissertation]. University of New South Wales; 2010. [cited 2021 Apr 18]. Available from: http://handle.unsw.edu.au/1959.4/45357 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8652/SOURCE02?view=true.

Council of Science Editors:

Ji CK. Conditionals for representing implicational and causal knowledge. [Doctoral Dissertation]. University of New South Wales; 2010. Available from: http://handle.unsw.edu.au/1959.4/45357 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8652/SOURCE02?view=true

26. Chen, Jieying. Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description.

Degree: Docteur es, Informatique, 2018, Université Paris-Saclay (ComUE)

Un nombre croissant d'ontologies de grandes tailles ont été développées et mises à disposition dans des référentiels tels que le NCBO Bioportal. L'accès aux connaissances… (more)

Subjects/Keywords: Modularité d'ontologies; Logique de description; Représentation et raisonnement des connaissances; Web sémantique; Différence logique; Ontology modularity; Description logics; Knowledge representation and reasoning; Semantic web; Logical difference

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, J. (2018). Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2018SACLS531

Chicago Manual of Style (16th Edition):

Chen, Jieying. “Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description.” 2018. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed April 18, 2021. http://www.theses.fr/2018SACLS531.

MLA Handbook (7th Edition):

Chen, Jieying. “Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description.” 2018. Web. 18 Apr 2021.

Vancouver:

Chen J. Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2018. [cited 2021 Apr 18]. Available from: http://www.theses.fr/2018SACLS531.

Council of Science Editors:

Chen J. Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2018. Available from: http://www.theses.fr/2018SACLS531

27. Sousa, Walter Epifâneo de. Raciocínio lógico-analítico: uma proposta de conteúdo e abordagem para o ensino médio e para concursos públicos.

Degree: 2019, Universidade Federal de Goiás; PROFMAT – Programa de Pós-graduação em Matemática em Rede Nacional - Sociedade Brasileira de Matemática (RC); UFG; Brasil; Regional Catalão (RC)

Submitted by Liliane Ferreira ([email protected]) on 2019-04-11T15:13:42Z No. of bitstreams: 2 Dissertação - Walter Epifâneo de Sousa - 2019.pdf: 2891550 bytes, checksum: c7816b9cbcc2ad3bcb3b939273d0ef58 (MD5) license_rdf:… (more)

Subjects/Keywords: Fundamentos da lógica; Argumentação lógica; Raciocínio crítico e analítico; Fundamentals of logic; Logical argumentation; Critical and analytical reasoning; CIENCIAS EXATAS E DA TERRA::MATEMATICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sousa, W. E. d. (2019). Raciocínio lógico-analítico: uma proposta de conteúdo e abordagem para o ensino médio e para concursos públicos. (Masters Thesis). Universidade Federal de Goiás; PROFMAT – Programa de Pós-graduação em Matemática em Rede Nacional - Sociedade Brasileira de Matemática (RC); UFG; Brasil; Regional Catalão (RC). Retrieved from http://repositorio.bc.ufg.br/tede/handle/tede/9479

Chicago Manual of Style (16th Edition):

Sousa, Walter Epifâneo de. “Raciocínio lógico-analítico: uma proposta de conteúdo e abordagem para o ensino médio e para concursos públicos.” 2019. Masters Thesis, Universidade Federal de Goiás; PROFMAT – Programa de Pós-graduação em Matemática em Rede Nacional - Sociedade Brasileira de Matemática (RC); UFG; Brasil; Regional Catalão (RC). Accessed April 18, 2021. http://repositorio.bc.ufg.br/tede/handle/tede/9479.

MLA Handbook (7th Edition):

Sousa, Walter Epifâneo de. “Raciocínio lógico-analítico: uma proposta de conteúdo e abordagem para o ensino médio e para concursos públicos.” 2019. Web. 18 Apr 2021.

Vancouver:

Sousa WEd. Raciocínio lógico-analítico: uma proposta de conteúdo e abordagem para o ensino médio e para concursos públicos. [Internet] [Masters thesis]. Universidade Federal de Goiás; PROFMAT – Programa de Pós-graduação em Matemática em Rede Nacional - Sociedade Brasileira de Matemática (RC); UFG; Brasil; Regional Catalão (RC); 2019. [cited 2021 Apr 18]. Available from: http://repositorio.bc.ufg.br/tede/handle/tede/9479.

Council of Science Editors:

Sousa WEd. Raciocínio lógico-analítico: uma proposta de conteúdo e abordagem para o ensino médio e para concursos públicos. [Masters Thesis]. Universidade Federal de Goiás; PROFMAT – Programa de Pós-graduação em Matemática em Rede Nacional - Sociedade Brasileira de Matemática (RC); UFG; Brasil; Regional Catalão (RC); 2019. Available from: http://repositorio.bc.ufg.br/tede/handle/tede/9479

28. Kramm, Daniele de Lima. Resolução de problemas: possíveis relações entre raciocínio lógico e desempenho em Matemática.

Degree: 2014, Pontifical Catholic University of São Paulo

Made available in DSpace on 2016-04-28T20:56:44Z (GMT). No. of bitstreams: 1 Daniele de Lima Kramm.pdf: 6003171 bytes, checksum: ea246714b04ad3a53bc0c7f9b2b2ea62 (MD5) Previous issue date: 2014-04-16

Conselho… (more)

Subjects/Keywords: Resolução de problemas; Raciocínio lógico; Aprendizagem matemática; Problem solving; Logical reasoning; Learning mathematics; CNPQ::CIENCIAS HUMANAS::EDUCACAO::FUNDAMENTOS DA EDUCACAO::PSICOLOGIA EDUCACIONAL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kramm, D. d. L. (2014). Resolução de problemas: possíveis relações entre raciocínio lógico e desempenho em Matemática. (Masters Thesis). Pontifical Catholic University of São Paulo. Retrieved from https://tede2.pucsp.br/handle/handle/16132

Chicago Manual of Style (16th Edition):

Kramm, Daniele de Lima. “Resolução de problemas: possíveis relações entre raciocínio lógico e desempenho em Matemática.” 2014. Masters Thesis, Pontifical Catholic University of São Paulo. Accessed April 18, 2021. https://tede2.pucsp.br/handle/handle/16132.

MLA Handbook (7th Edition):

Kramm, Daniele de Lima. “Resolução de problemas: possíveis relações entre raciocínio lógico e desempenho em Matemática.” 2014. Web. 18 Apr 2021.

Vancouver:

Kramm DdL. Resolução de problemas: possíveis relações entre raciocínio lógico e desempenho em Matemática. [Internet] [Masters thesis]. Pontifical Catholic University of São Paulo; 2014. [cited 2021 Apr 18]. Available from: https://tede2.pucsp.br/handle/handle/16132.

Council of Science Editors:

Kramm DdL. Resolução de problemas: possíveis relações entre raciocínio lógico e desempenho em Matemática. [Masters Thesis]. Pontifical Catholic University of São Paulo; 2014. Available from: https://tede2.pucsp.br/handle/handle/16132


University of Florida

29. Vanderbilt, Amy K. C. S., 1975-. Common derivations in locally determined nonmonotonic rule systems and their complexity.

Degree: 2000, University of Florida

Subjects/Keywords: Atoms; Logic; Logic programming; Logical proofs; Logical theorems; Mathematics; Model theory; Nonmonotonic logic; Polynomials; Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vanderbilt, Amy K. C. S., 1. (2000). Common derivations in locally determined nonmonotonic rule systems and their complexity. (Thesis). University of Florida. Retrieved from https://ufdc.ufl.edu/AA00020422

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):

Vanderbilt, Amy K. C. S., 1975-. “Common derivations in locally determined nonmonotonic rule systems and their complexity.” 2000. Thesis, University of Florida. Accessed April 18, 2021. https://ufdc.ufl.edu/AA00020422.

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

MLA Handbook (7th Edition):

Vanderbilt, Amy K. C. S., 1975-. “Common derivations in locally determined nonmonotonic rule systems and their complexity.” 2000. Web. 18 Apr 2021.

Vancouver:

Vanderbilt, Amy K. C. S. 1. Common derivations in locally determined nonmonotonic rule systems and their complexity. [Internet] [Thesis]. University of Florida; 2000. [cited 2021 Apr 18]. Available from: https://ufdc.ufl.edu/AA00020422.

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

Council of Science Editors:

Vanderbilt, Amy K. C. S. 1. Common derivations in locally determined nonmonotonic rule systems and their complexity. [Thesis]. University of Florida; 2000. Available from: https://ufdc.ufl.edu/AA00020422

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


University of Florida

30. Marek-Lovejoy, Joan Pamela. The effect of reducing cognitive complexity on a hypothetico-deductive reasoning task.

Degree: PhD, Psychology, 1998, University of Florida

Subjects/Keywords: Boxes; Circles; Classified information; Cognitive psychology; Deductive reasoning; Experiment design; Experimental psychology; Logical givens; Meats; Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Marek-Lovejoy, J. P. (1998). The effect of reducing cognitive complexity on a hypothetico-deductive reasoning task. (Doctoral Dissertation). University of Florida. Retrieved from https://ufdc.ufl.edu/AA00022687

Chicago Manual of Style (16th Edition):

Marek-Lovejoy, Joan Pamela. “The effect of reducing cognitive complexity on a hypothetico-deductive reasoning task.” 1998. Doctoral Dissertation, University of Florida. Accessed April 18, 2021. https://ufdc.ufl.edu/AA00022687.

MLA Handbook (7th Edition):

Marek-Lovejoy, Joan Pamela. “The effect of reducing cognitive complexity on a hypothetico-deductive reasoning task.” 1998. Web. 18 Apr 2021.

Vancouver:

Marek-Lovejoy JP. The effect of reducing cognitive complexity on a hypothetico-deductive reasoning task. [Internet] [Doctoral dissertation]. University of Florida; 1998. [cited 2021 Apr 18]. Available from: https://ufdc.ufl.edu/AA00022687.

Council of Science Editors:

Marek-Lovejoy JP. The effect of reducing cognitive complexity on a hypothetico-deductive reasoning task. [Doctoral Dissertation]. University of Florida; 1998. Available from: https://ufdc.ufl.edu/AA00022687

[1] [2]

.