1 resultado para description logics
em Funes: Repositorio digital de documentos en Educación Matemática - Colombia
Filtro por publicador
- Aberystwyth University Repository - Reino Unido (3)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (5)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (4)
- Aquatic Commons (39)
- ARCA - Repositório Institucional da FIOCRUZ (1)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (1)
- Biblioteca Digital da Câmara dos Deputados (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (49)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (35)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (61)
- Boston University Digital Common (5)
- Brock University, Canada (18)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (22)
- CentAUR: Central Archive University of Reading - UK (53)
- Center for Jewish History Digital Collections (1)
- Central European University - Research Support Scheme (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (51)
- Cochin University of Science & Technology (CUSAT), India (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (9)
- CORA - Cork Open Research Archive - University College Cork - Ireland (3)
- CUNY Academic Works (3)
- Dalarna University College Electronic Archive (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (30)
- Digital Peer Publishing (2)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (5)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (1)
- Diposit Digital de la UB - Universidade de Barcelona (1)
- Duke University (2)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (13)
- Funes: Repositorio digital de documentos en Educación Matemática - Colombia (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (112)
- Greenwich Academic Literature Archive - UK (2)
- Helda - Digital Repository of University of Helsinki (7)
- Indian Institute of Science - Bangalore - Índia (33)
- Instituto Politécnico do Porto, Portugal (2)
- Massachusetts Institute of Technology (2)
- Ministerio de Cultura, Spain (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (28)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (59)
- Queensland University of Technology - ePrints Archive (28)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositorio Institucional da UFLA (RIUFLA) (1)
- Repositorio Institucional de la Universidad Pública de Navarra - Espanha (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (192)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (2)
- School of Medicine, Washington University, United States (2)
- Universidad Autónoma de Nuevo León, Mexico (8)
- Universidad del Rosario, Colombia (3)
- Universidad Politécnica de Madrid (1)
- Universidade Federal do Pará (3)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (5)
- Université de Montréal, Canada (20)
- University of Queensland eSpace - Australia (1)
- University of Southampton, United Kingdom (9)
- University of Washington (2)
- WestminsterResearch - UK (1)
Relevância:
Resumo:
In this paper we present a procedure to describe strategies in problems which can be solved using inductive reasoning. This procedure is based on some aspects of the analysis of the specific subject matter, concretely on the elements, the representation systems and the transformations involved. We show an example of how we used this procedure for the tiles problem. Finally we present some results and conclusions.