Bibliografías temáticas / Raisonnement automatisé / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Raisonnement automatisé.

Tesis sobre el tema "Raisonnement automatisé"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 27 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 29 mejores tesis para su investigación sobre el tema "Raisonnement automatisé".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Barcenas, Patino Ismael. "Raisonnement automatisé sur les arbres avec des contraintes de cardinalité." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00569058.

Texto completo
Resumen
Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de nœuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les nœuds ayant un nombre limité de nœuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues sa
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Barcenas, Everardo. "Raisonnement automatisé sur les arbres avec des contraintes de cardinalité." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00578972.

Texto completo
Resumen
Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modèles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de noeuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les noeuds ayant un nombre limité de noeuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Serban, Cristina. "Raisonnement automatisé pour la logique de séparation avec des définitions inductives." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM030/document.

Texto completo
Resumen
La contribution principale de cette thèse est un système de preuve correct et complet pour les implications entre les prédicats inductifs, fréquemment rencontrées lors de la vérification des programmes qui utilisent des structures de données récursives allouées dynamiquement. Nous introduisons un système de preuve généralisé pour la logique du premier ordre et nous l'adaptons à la logique de séparation, car ceci est un cadre qui répond aux plusieurs difficultés posées par le raisonnement sur les tas alloués dynamiquement. La correction et la complétude sont assurées par quatre restrictions sém
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Bermejo, Das Neves Carlos. "Probabilistic semantic network approach for the study of genotype-phenotype relations in the context of human genetic diseases." Electronic Thesis or Diss., Strasbourg, 2020. http://www.theses.fr/2020STRAJ093.

Texto completo
Resumen
Cette thèse porte sur le développement d'une méthode pour modéliser des systèmes complexes en utilisant des graphes de connaissances et des algorithmes de raisonnement automatisés. La méthode de modélisation a été appliquée aux maladies rares pour prédire leurs causes, depuis les niveaux génétique, cellulaire et physiologique jusqu'au niveau de l'organisme entier. Pour la création du graphe de connaissances, deux ontologies, GO et HPO, ont été utilisées. Étant donné qu'il n'existait pas de bases de données avec des relations entre ces ontologies, une méthode d'apprentissage automatique a été d
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Ballout, Ali. "Apprentissage actif pour la découverte d'axiomes." Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ4026.

Texto completo
Resumen
Cette thèse aborde le défi de l'évaluation des formules logiques candidates, avec un accent particulier sur les axiomes, en combinant de manière synergique l'apprentissage automatique et le raisonnement symbolique. Cette approche innovante facilite la découverte automatique d'axiomes, principalement dans la phase d'évaluation des axiomes candidats générés. La recherche vise à résoudre le problème de la validation efficace et précise de ces candidats dans le contexte plus large de l'acquisition de connaissances sur le Web sémantique.Reconnaissant l'importance des heuristiques de génération exis
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Gonella, Régine. "Diagnostic de pannes sur avions : mise en œuvre d'un raisonnement révisable." Toulouse, ENSAE, 1989. http://www.theses.fr/1989ESAE0014.

Texto completo
Resumen
Le diagnostic de pannes sur avions est caractérisé, notamment, par la présence éventuelle de plusieurs pannes à un moment donné et par la modification constante de l'état de l'avion au cours de son exploitation, due à l'arrivée de nouvelles pannes et aux actions de maintenance effectuées. Son amélioration permettrait de diminuer le nombre de déposes d'équipements injustifiées et donc de réduire les coûts de maintenance. Dans ce mémoire, l'auteur propose une méthode de diagnostic en ligne c'est-à-dire une méthode permettant, à tout moment, d'établir le diagnostic d'un système physique fonctionn
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Bousson, Kouamana. "Raisonnement causal pour la supervision de processus basée sur des modèles." Toulouse, INSA, 1993. http://www.theses.fr/1993ISAT0023.

Texto completo
Resumen
L''usage d'un modèle causal dans le cadre de la supervision de processus se justifie si l'on considère que l’être humain appréhende de manière causale les phénomènes physiques. Souvent, la causalité nous permet de focaliser notre attention sur une partie ou sur un composant du système physique, sans avoir forcement recours à une description globale du type équationnel. Le travail de ce mémoire propose un formalisme de raisonnement basé sur une utilisation conjuguée de la causalité et des connaissances profondes s'exprimant sous forme d’équations mathématiques pour la supervision de processus c
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

El, Ouraoui Daniel. "Méthodes pour le raisonnement d'ordre supérieur dans SMT." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0023.

Texto completo
Resumen
La vérification formelle de programmes informatiques ou de systèmes dits critiques tels que dans le transport, l'énergie, etc, est essentielle pour garantir le bon fonctionnement de ces systèmes. Les méthodes de vérification employées s'appuient très fortement sur des procédés mathématiques et logiques permettant de raisonner de manière formelle sur le comportement de ces systèmes. Ces procédés définissent généralement les comportements sous forme de grands ensembles de contraintes logiques. L'approche par satisfaisabilité est une méthode largement utilisée pour vérifier ces contraintes et est
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Bernard, Denys. "Un système de raisonnement temporel basé sur le calcul d'évènements pour l'ordonnancement en maintenance aéronautique." Toulouse 3, 1992. http://www.theses.fr/1992TOU30162.

Texto completo
Resumen
Cette these presente une approche originale de certains problemes d'ordonnancement en maintenance aeronautique. L'approche utilisee est basee sur un systeme de raisonnement temporel specifie en clauses de horn: le calcul d'evenements. Ce systeme definit des concepts tres generaux sur le temps et le changement (evenements, periodes, propositions temporelles), qui permettent de representer des actions. On presente un systeme qui elabore une representation appropriee d'un ensemble d'actions, en utilisant des connaissances formalisees sur le domaine technique specifique. Les connaissances utilisee
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Ben, Rabah Nourhène. "APPROCHE INTELLIGENTE À BASE DE RAISONNEMENT À PARTIR DE CAS POUR LE DIAGNOSTIC EN LIGNE DES SYSTÈMES AUTOMATISÉS DE PRODUCTION." Thesis, Reims, 2018. http://www.theses.fr/2018REIMS036/document.

Texto completo
Resumen
Les systèmes automatisés de production (SAP) représentent une classe importante des systèmes industriels qui sont de plus en plus complexes vue le grand nombre d’interaction et d’interconnexion entre leurs différents composants. En conséquence, ils sont plus sensibles aux dysfonctionnements dont les conséquences peuvent être importantes en termes de productivité, de sécurité et de qualité de production. Un défi majeur est alors de développer une approche intelligente qui peut être utilisée pour le diagnostic de ces systèmes afin de garantir leurs suretés de fonctionnement. Dans le cadre de cet
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Petit, Maxime. "Raisonnement et planification développementale d'un robot via une interaction enactive avec un humain." Phd thesis, Université Claude Bernard - Lyon I, 2014. http://tel.archives-ouvertes.fr/tel-01015288.

Texto completo
Resumen
Que cela soit par des automates puis par des robots, l'Homme a été fasciné par des machines pouvant exécuter des tâches pour lui, dans de nombreux domaines, comme l'industrie ou les services : c'est ce dernier domaine qui nous sert de contexte. Ainsi, nous avons utilisé une approche développementale, où le robot se doit d'apprendre de nouvelles tâches au cours de sa vie. Inspiré par des théories sur le développement de l'enfant, nous avons extrait les concepts intéressants pour les implémenter sur une plateforme robotique humanoïde : l'iCub. L'acquisition du langage est une première étape, où
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

DUMONT, D'AYOT Gilles. "Coopération et évaluation cognitive d'agents artificiels pour la supervision." Phd thesis, INSA de Toulouse, 2005. http://tel.archives-ouvertes.fr/tel-00009527.

Texto completo
Resumen
L'idée générale de cette thèse est d'évaluer la plausibilité cognitive de modèles de raisonnement couramment utilisés en Intelligence Artificielle en les mettant en correspondance avec le raisonnement humain, ceci dans des situations de supervision de systèmes dynamiques. Pour cela, un micro-monde lié au domaine de la physique hydraulique est utilisé. Il s'agit donc en premier lieu de développer des opérateurs artificiels capables de superviser ce processus, chacun dans un "style cognitif" spécifique. Trois types d'agents ont ainsi été mis au point, basés sur le raisonnement qualitatif, la cla
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Daniel, Lionel. "Définition d'une logique probabiliste tolérante à l'inconsistance : appliquée à la reconnaissance de scénarios et à la théorie du vote." Phd thesis, École Nationale Supérieure des Mines de Paris, 2010. http://pastel.archives-ouvertes.fr/pastel-00537758.

Texto completo
Resumen
Les humains raisonnent souvent en présence d'informations contradictoires. Dans cette thèse, j'ébauche une axiomatisation du sens commun sous-jacent à ce raisonnement dit paraconsistant. L'implémentation de cette axiomatisation dans les ordinateurs autonomes sera essentielle si nous envisageons de leur déléguer des décisions critiques ; il faudra également vérifier formellement que leurs réactions soient sans risque en toute situation, même incertaine. Une situation incertaine est ici modélisée par une base de connaissances probabilistes éventuellement inconsistante ; c'est un multi-ensemble d
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Tutac, Épouse Branici Adina. "Représentation et raisonnement formels pour le pronostic basé sur l'imagerie médicale microscropique. Application à la graduation du cancer du sein." Phd thesis, Université de Franche-Comté, 2010. http://tel.archives-ouvertes.fr/tel-00560215.

Texto completo
Resumen
Cette thèse aborde l'aide du pronostic basée sur l'image et les ontologies médicales, en utilisant la représentation des connaissances et le raisonnement pour les très grandes images microscopiques. Une application médicale particulière dans laquelle une assistance de type pronostic est nécessaire est la graduation du cancer du sein. Même si cela est considéré comme un outil d'évaluation essentiel dans la pratique de pathologie moderne, les principaux problèmes posés par la procédure manuelle de pronostic sont : la nécessité des connaissances, attention et temps. D'autre part, le manque de rep
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Rasovska, Ivana. "Contribution à une méthodologie de capitalisation des connaissances basée sur le raisonnement à partir de cas : Application au diagnostic dans une plateforme d'e-maintenance." Phd thesis, Université de Franche-Comté, 2006. http://tel.archives-ouvertes.fr/tel-00257893.

Texto completo
Resumen
Face aux évolutions technologiques, à la complexité croissante des équipements industriels et à la dynamique des processus ainsi qu'aux changements organisationnels et à la mobilité du personnel, les responsables de maintenance cherchent à formaliser et pérenniser le savoir et le savoir-faire des employés. Pour répondre à cette problématique, notre objectif est de fournir un service d'aide à la maintenance qui utilise et capitalise les connaissances. Nos travaux se situent dans le cadre du projet Européen Proteus qui a permis de développer une plateforme distribuée d'e-maintenance intégrant le
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Chatalic, Philippe. "Raisonnement deductif en presence de connaissances imprecises et incertaines : un systeme base sur la theorie de dempster-shafer." Toulouse 3, 1986. http://www.theses.fr/1986TOU30189.

Texto completo
Resumen
Ce memoire s'interesse aux approches quantitatives permettant de modeliser les notions d'incertitude et d'imprecision, dans les methodes de raisonnement automatiques. La premiere partie donne une vue d'ensemble des outils actuels, permettant de representer et manipuler des connaissances imprecises ou incertaines. La seconde partie a pour cadre general, celui des fonctions de croyances de shafer qui presente l'avantage d'englober les cadres propabiliste et possibliste comme cas particuliers
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Haouchine, Mohamed Karim. "Remémoration guidée par l'adaptation et maintenance des systèmes de diagnostic industriel par l'approche du raisonnement à partir de cas." Phd thesis, Université de Franche-Comté, 2009. http://tel.archives-ouvertes.fr/tel-00466560.

Texto completo
Resumen
Le développement des nouvelles technologies des différents produits et composants a rendu la nature des systèmes de plus en plus complexe. Cette complexité s'est répercutée sur le bon fonctionnement des équipements avec l'apparition de nouvelles pannes et l'accroissement des coûts engendrés. La maintenance est devenue un élément indispensable pour le maintien en condition opérationnelle de tout équipement quelque soit sa nature. Dans ce contexte nous nous intéressons à la maintenance corrective et plus particulièrement au diagnostic de pannes des équipements industriels. Nous développons une m
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Heim, Bruno. "Approche ensembliste et par logique floue pour le diagnostic causal de procédés de raffinage : application à un pilote de FCC." Phd thesis, Grenoble INPG, 2003. http://tel.archives-ouvertes.fr/tel-00197531.

Texto completo
Resumen
La thèse traite du diagnostic de procédés et se divise en trois parties. La première partie présente une méthode de modélisation causale pour le diagnostic. La seconde partie présente les différentes méthodes mises en ouvre pour la détection, la localisation et l'identification de défauts. Pour effectuer la détection, nous comparons les variables du modèle causal aux mesures. Nous évaluons les apports d'une approche ensembliste et d'une approche par logique floue pour la prise en compte des incertitudes. La localisation est réalisée grâce à un algorithme de hitting-sets afin de déterminer l'en
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Belard, Nuno. "Reasoning about models: detecting and isolating abnormalities in diagnostic systems." Phd thesis, Université Paul Sabatier - Toulouse III, 2012. http://tel.archives-ouvertes.fr/tel-00719547.

Texto completo
Resumen
Dans le cadre du diagnostic à base de Modèle, un ensemble de règles d'inférence est typiquement exploité pour calculer des diagnostics, ceci en utilisant une théorie scientifique et mathématique sur le système à diagnostiquer, ainsi qu'un ensemble d'observations. Contrairement aux hypothèses classiques, les Modèles sont souvent anormaux vis-à-vis d'un ensemble de propriétés requises. Naturellement, cela affecte la qualité des diagnostics [à Airbus]. Une théorie sur la réalité, l'information et la cognition est créé pour redéfinir, dans une perspective basée sur la théorie des modèles, le cadre
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Marin-Urias, Luis Felipe. "Planification et contrôle de mouvements en interaction avec l'homme. Reasoning about space for human-robot interaction." Phd thesis, Université Paul Sabatier - Toulouse III, 2009. http://tel.archives-ouvertes.fr/tel-00468918.

Texto completo
Resumen
L'interaction Homme-Robot est un domaine de recherche qui se développe de manière expo-nentielle durant ces dernières années, ceci nous procure de nouveaux défis au raisonnement géométrique du robot et au partage d'espace. Le robot pour accomplir une tâche, doit non seulement raisonner sur ses propres capacités, mais également prendre en considération la perception humaine, c'est à dire "Le robot doit se placer du point de vue de l'humain". Chez l'homme, la capacité de prise de perspective visuelle commence à se manifester à partir du 24ème mois. Cette capacité est utilisée pour déterminer si
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Ayrolles, Laurent. "Abstraction temporelle et interprétation quantitative/qualitative de processus à dynamiques multiples. Application aux processus biologiques." Phd thesis, Université Paul Sabatier - Toulouse III, 1996. http://tel.archives-ouvertes.fr/tel-00139748.

Texto completo
Resumen
Une caractéristique des systèmes dynamiques complexes, qu'ils soient physiques ou naturels, est la présence de processus évoluant à différentes échelles de temps (dynamiques multiples) et de façon fortement non-linéaire. Nous nous plaçons dans le cas où l'évolution de chaque processus étudié est une série de mesures, ou bien est issue de la simulation de modèles numériques. Pour concevoir ou améliorer ces modèles en se basant sur l'échelle qui l'intéresse, l'utilisateur doit d'abord être capable de représenter l'évolution de chaque processus à plusieurs échelles, déterminées objectivement selo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Le, Tan. "Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes." Phd thesis, Université Paul Sabatier - Toulouse III, 2014. http://tel.archives-ouvertes.fr/tel-00996894.

Texto completo
Resumen
Le raisonnement diagnostique (abductif) et le raisonnement de prédiction (inductif) sont deux des méthodes de raisonnement qui permettent la découverte de connaissances nouvelles. Lorsque le raisonnement abductif est le processus permettant de trouver la meilleure explication (hypothèse) pour un ensemble d'observations (Josephson, 1994), le raisonnement de prédiction est le processus, à partir d'un ensemble d'observations, permettant de trouver tous les résultats possibles. Ces observations peuvent être les symptômes d'un patient, des expériences concernant les réseaux métaboliques et génomiqu
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Vidal, Thierry. "Le temps en planification et en ordonnancement : Vers une gestion complète et efficace de contraintes hétérogènes et entachées d'incertitude." Phd thesis, Université Paul Sabatier - Toulouse III, 1995. http://tel.archives-ouvertes.fr/tel-00144272.

Texto completo
Resumen
Le planificateur temporel IxTeT, véritable «intelligence embarquée» d'un robot autonome, s'appuie sur un gestionnaire de contraintes temporelles dont le rôle est double: maintenir la cohérence du réseau de contraintes, et répondre rapidement et correctement à une interrogation émanant du planificateur. La prise en compte de contraintes symboliques (simples précédences) et numériques (dates et durées imprécises) oblige alors à une propagation coûteuse des contraintes numériques. Néanmoins, ces dernières étant proportionnellement peu nombreuses en planification, nous pouvons restreindre cette pr
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Le, Tan. "Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes." Phd thesis, Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2337/.

Texto completo
Resumen
Le raisonnement diagnostique (abductif) et le raisonnement de prédiction (inductif) sont deux des méthodes de raisonnement qui permettent la découverte de connaissances nouvelles. Lorsque le raisonnement abductif est le processus permettant de trouver la meilleure explication (hypothèse) pour un ensemble d'observations (Josephson, 1994), le raisonnement de prédiction est le processus, à partir d'un ensemble d'observations, permettant de trouver tous les résultats possibles. Ces observations peuvent être les symptômes d'un patient, des expériences concernant les réseaux métaboliques et génomiqu
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Caulier, Patrice. "Méthodologie de capitalisation et de réutilisation de connaissances pour l'aide à la supervision des procédés automatises complexes : Application à la supervision du trafic téléphonique de l'Ile-de-France." Valenciennes, 1997. https://ged.uphf.fr/nuxeo/site/esupversions/4386115b-a677-4ce2-9612-b54f6ad7cfab.

Texto completo
Resumen
La supervision des modes de fonctionnement anormaux des procédés automatisés complexes implique le recours à des méthodes de résolution de problèmes. Parmi celles-ci, l'évocation d'une solution analogue préétablie en mémoire constitue une méthode efficace et économique d'un point de vue cognitif. Toutefois, sa mise en œuvre systématique se heurte à plusieurs limites intra et extra-individuelles. De façon à corriger ces limites, l'objectif de la thèse est de proposer une méthodologie interdisciplinaire de développement de systèmes d'assistance fondée sur la capitalisation et la réutilisation de
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Lesbegueries, Julien. "Plate-forme pour l'indexation spatiale multi-niveaux d'un corpus territorialisé." Phd thesis, Université de Pau et des Pays de l'Adour, 2007. http://tel.archives-ouvertes.fr/tel-00258534.

Texto completo
Resumen
Notre travail s'insère dans la problématique de l'accès à l'information spatiale présente dans des corpus textuels territoriaux. Nous proposons d'aller au-delà des systèmes de recherche d'information classiques basés sur l'analyse statistique des documents, peu adaptés pour ce cas particulier, via un traitement linguistique ciblé interprétant l'information spatiale. Notre hypothèse est que des traitements relativement peu coûteux suffisent à dégager l'essentiel de l'information. Ils sont un bon point de départ pour une interprétation plus poussée par la suite, utilisant les propriétés géograph
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

El, Ayeb Béchir. "Méthodes, langages et outils de spécification et de construction des systèmes de diagnostic." Nancy 1, 1989. http://www.theses.fr/1989NAN10054.

Texto completo
Resumen
Spécification et construction méthodiques de systèmes de diagnostic pour les grandes installations industrielles. Recherche d'un langage de spécification et des outils de construction des systèmes de diagnostic. Proposition d'une méthode de spécification pour structurer une installation en hiérarchies et graphes de composants abstraits, ainsi qu'un langage pour spécifier les différents composants
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Mohamed, Firas. "Approche à base de logique floue pour le test et le diagnostic des circuits analogiques." Grenoble INPG, 1997. http://www.theses.fr/1997INPG0082.

Texto completo
Resumen
Les circuits et systemes analogiques sont de plus en plus utilises dans le cadre d'applications nouvelles. Ils deviennent egalement plus complexes, ce qui cree la necessite de disposer de methodes automatiques pour leurs tests et leurs diagnostics qui a eux deux representent un probleme crucial dans ce domaine. Bien que le test et le diagnostic des circuits digitaux ait ete developpe avec succes au point qu'il a pu etre automatise, son developpement pour les ca en est encore a ses premiers pas. Il y a deux raisons principales a cette situation, il n'y avait pas un besoin pressant dans l'indust
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Mir, S. "Heuristic reasoning for an automatic commonsense understanding of logic electronic design specifications (English only)." Phd thesis, 1993. http://tel.archives-ouvertes.fr/tel-00010456.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía