{"id":"https://openalex.org/W7064345599","doi":null,"title":"Aspectos metodol\u00f3gicos y epistemol\u00f3gicos de la programaci\u00f3n de computadoras : m\u00e9todos formales y heur\u00edsticas","display_name":"Aspectos metodol\u00f3gicos y epistemol\u00f3gicos de la programaci\u00f3n de computadoras : m\u00e9todos formales y heur\u00edsticas","publication_year":2024,"publication_date":"2024-05-24","ids":{"openalex":"https://openalex.org/W7064345599"},"language":"es","primary_location":{"id":"pmh:oai:rdu.unc.edu.ar:11086/554687","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/11086/554687","pdf_url":"https://rdu.unc.edu.ar/bitstreams/64261a33-7aba-406f-af4f-bfb627af20d8/download","source":{"id":"https://openalex.org/S4306400373","display_name":"Repositorio Digital de la UNC (National University of Cordoba)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I166401450","host_organization_name":"Universidad Nacional de C\u00f3rdoba","host_organization_lineage":["https://openalex.org/I166401450"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoralThesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://rdu.unc.edu.ar/bitstreams/64261a33-7aba-406f-af4f-bfb627af20d8/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064247731","display_name":"Xavier Huvelle","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Huvelle, Xavier","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5064247731"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.8407999873161316,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.8407999873161316,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.08009999990463257,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.013299999758601189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/programming","display_name":"programming","score":0.9039999842643738},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.6909999847412109},{"id":"https://openalex.org/keywords/heuristics","display_name":"heuristics","score":0.8519999980926514},{"id":"https://openalex.org/keywords/philosophy-of-computing","display_name":"philosophy of computing","score":0.6100000143051147}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45350000262260437},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2500999867916107},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.24740000069141388},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.24449999630451202},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2386000007390976},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.2079000025987625},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.20270000398159027},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.20229999721050262},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.2003999948501587},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.20000000298023224}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:rdu.unc.edu.ar:11086/554687","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/11086/554687","pdf_url":"https://rdu.unc.edu.ar/bitstreams/64261a33-7aba-406f-af4f-bfb627af20d8/download","source":{"id":"https://openalex.org/S4306400373","display_name":"Repositorio Digital de la UNC (National University of Cordoba)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I166401450","host_organization_name":"Universidad Nacional de C\u00f3rdoba","host_organization_lineage":["https://openalex.org/I166401450"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoralThesis"}],"best_oa_location":{"id":"pmh:oai:rdu.unc.edu.ar:11086/554687","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/11086/554687","pdf_url":"https://rdu.unc.edu.ar/bitstreams/64261a33-7aba-406f-af4f-bfb627af20d8/download","source":{"id":"https://openalex.org/S4306400373","display_name":"Repositorio Digital de la UNC (National University of Cordoba)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I166401450","host_organization_name":"Universidad Nacional de C\u00f3rdoba","host_organization_lineage":["https://openalex.org/I166401450"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoralThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7064345599.pdf","grobid_xml":"https://content.openalex.org/works/W7064345599.grobid-xml"},"referenced_works_count":93,"referenced_works":["https://openalex.org/W203442965","https://openalex.org/W205043379","https://openalex.org/W1498436455","https://openalex.org/W1516711221","https://openalex.org/W1522541236","https://openalex.org/W1607663648","https://openalex.org/W1690037246","https://openalex.org/W1705210632","https://openalex.org/W1963547174","https://openalex.org/W1964829827","https://openalex.org/W1969530188","https://openalex.org/W1972454041","https://openalex.org/W1975890942","https://openalex.org/W1983596667","https://openalex.org/W2001493951","https://openalex.org/W2004371846","https://openalex.org/W2005249409","https://openalex.org/W2007489624","https://openalex.org/W2008087381","https://openalex.org/W2009960635","https://openalex.org/W2011926036","https://openalex.org/W2012464226","https://openalex.org/W2021352015","https://openalex.org/W2022195904","https://openalex.org/W2036387006","https://openalex.org/W2037090034","https://openalex.org/W2040870580","https://openalex.org/W2041163085","https://openalex.org/W2045732064","https://openalex.org/W2047764386","https://openalex.org/W2053732783","https://openalex.org/W2055250996","https://openalex.org/W2072179944","https://openalex.org/W2076063813","https://openalex.org/W2079455354","https://openalex.org/W2084639429","https://openalex.org/W2085656270","https://openalex.org/W2087636279","https://openalex.org/W2089506336","https://openalex.org/W2093029467","https://openalex.org/W2095194437","https://openalex.org/W2111510811","https://openalex.org/W2112250971","https://openalex.org/W2112880213","https://openalex.org/W2114882482","https://openalex.org/W2121146210","https://openalex.org/W2124209077","https://openalex.org/W2126160338","https://openalex.org/W2131399871","https://openalex.org/W2160363852","https://openalex.org/W2161022936","https://openalex.org/W2162306826","https://openalex.org/W2164473113","https://openalex.org/W2165020213","https://openalex.org/W2172307690","https://openalex.org/W2270985711","https://openalex.org/W2322814434","https://openalex.org/W2481274640","https://openalex.org/W2547565465","https://openalex.org/W2584756352","https://openalex.org/W2593865023","https://openalex.org/W2799127369","https://openalex.org/W2888532099","https://openalex.org/W2889220022","https://openalex.org/W2900146500","https://openalex.org/W2911627239","https://openalex.org/W2921408567","https://openalex.org/W2969145158","https://openalex.org/W2971144081","https://openalex.org/W2984841629","https://openalex.org/W2987977008","https://openalex.org/W2991187744","https://openalex.org/W3022349005","https://openalex.org/W3024526061","https://openalex.org/W3092387503","https://openalex.org/W3103896643","https://openalex.org/W3111451084","https://openalex.org/W3134442723","https://openalex.org/W3135028703","https://openalex.org/W3166522417","https://openalex.org/W3171842021","https://openalex.org/W3182207208","https://openalex.org/W3190728658","https://openalex.org/W4214663775","https://openalex.org/W4231079695","https://openalex.org/W4237932325","https://openalex.org/W4238546553","https://openalex.org/W4240853462","https://openalex.org/W4241039350","https://openalex.org/W4248930309","https://openalex.org/W4291288469","https://openalex.org/W4317376696","https://openalex.org/W4327747314"],"related_works":["https://openalex.org/W7218260028","https://openalex.org/W7216947833","https://openalex.org/W2510131200","https://openalex.org/W7067538491","https://openalex.org/W7221403256","https://openalex.org/W7216814830","https://openalex.org/W7216649146","https://openalex.org/W2912105817","https://openalex.org/W7217471733","https://openalex.org/W6981887655"],"abstract_inverted_index":{"Tesis":[0],"Doctoral":[1],"(Doctorado":[2],"en":[3],"Filosof\u00eda)":[4],"--":[5],"Universidad":[6],"Nacional":[7],"de":[8,11],"C\u00f3rdoba.":[9],"Facultad":[10],"Filosof\u00eda":[12],"y":[13],"Humanidades;":[14],"2025.":[15]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2025-10-10T00:00:00"}