{"id":"https://openalex.org/W131020175","doi":null,"title":"L'enseignement de la programmation logique \u00e0 l'Ecole des Mines de Nantes","display_name":"L'enseignement de la programmation logique \u00e0 l'Ecole des Mines de Nantes","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W131020175","mag":"131020175"},"language":"fr","primary_location":{"id":"pmh:oai:HAL:hal-00448543v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-00448543","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"9 \u00e8me Journ\u00e9es Francophones de Progammation en Logique et avec Contraintes (JFPLC'03), 2003, Amiens, France, France. pp.63--75","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015355338","display_name":"Narendra Jussien","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jussien, Narendra","raw_affiliation_strings":["Theory, Algorithms and Systems for Constraints"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Theory, Algorithms and Systems for Constraints","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5015355338"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"63","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9883000254631042,"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.9883000254631042,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.00419999985024333,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13682","display_name":"Engineering Education and Pedagogy","score":0.0010999999940395355,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.878000020980835},{"id":"https://openalex.org/keywords/logic-programming-education","display_name":"logic programming education","score":0.6359999775886536},{"id":"https://openalex.org/keywords/formal-logic","display_name":"formal logic","score":0.8019999861717224},{"id":"https://openalex.org/keywords/course-design","display_name":"course design","score":0.5690000057220459}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.5540571808815002},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49875903129577637},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.331939160823822}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-00448543v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-00448543","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"9 \u00e8me Journ\u00e9es Francophones de Progammation en Logique et avec Contraintes (JFPLC'03), 2003, Amiens, France, France. pp.63--75","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality education","id":"https://metadata.un.org/sdg/4","score":0.6164000034332275}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W61686890","https://openalex.org/W205234667","https://openalex.org/W1480031782","https://openalex.org/W2009944560","https://openalex.org/W2023578426","https://openalex.org/W2101137276","https://openalex.org/W2799152884"],"related_works":["https://openalex.org/W139284543","https://openalex.org/W599983522","https://openalex.org/W4403757872","https://openalex.org/W4300064495","https://openalex.org/W7111813466","https://openalex.org/W173585590","https://openalex.org/W2395308684","https://openalex.org/W199347620","https://openalex.org/W6888731767","https://openalex.org/W4206879026"],"abstract_inverted_index":{"La":[0],"programmation":[1,44],"logique":[2,40],"est":[3,55],"enseign\u00e9e":[4],"\u00e0":[5,23],"l'\u00c9cole":[6],"des":[7],"Mines":[8],"de":[9],"Nantes":[10],"depuis":[11,38],"1994.":[12],"Apr\u00e8s":[13],"une":[14],"augmentation":[15],"du":[16,28,51],"volume":[17],"horaire":[18],"en":[19,45],"1998":[20],"(de":[21],"15":[22],"30":[24],"heures),":[25],"le":[26],"contenu":[27],"cours":[29,52],"a":[30],"\u00e9volu\u00e9":[31],"pour":[32],"proposer":[33],"un":[34],"cheminement":[35],"plus":[36],"complet":[37],"la":[39,43],"formelle":[41],"jusqu'\u00e0":[42],"logique.":[46],"Ce":[47],"document":[48],"pr\u00e9sente":[49],"l'organisation":[50],"tel":[53],"qu'il":[54],"dispens\u00e9":[56],"actuellement.":[57]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}