Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Ibanez, Maria Blanca"'
Publikováno v:
In Journal of Network and Computer Applications November 2013 36(6):1566-1576
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2016 IEEE 16th International Conference on Advanced Learning Technologies (ICALT); 2016, p307-311, 5p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2015 IEEE 15th International Conference on Advanced Learning Technologies; 2015, p218-222, 5p
Reproduction de : Thèse de doctorat : Informatique : Grenoble, INPG : 1990.
Titre provenant de l'écran-titre. Bibliogr. p. 247-252.
Titre provenant de l'écran-titre. Bibliogr. p. 247-252.
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00338381
Autor:
Ibañez, Maria Blanca
Dans cette thèse, nous avons décrit une machine a inférence parallèle pour les clauses de Horn qui exploite le parallélisme ou et qui utilise comme mécanisme d'inférence la resolution. Le modèle décrit pour les clauses de Horn part d'un rés
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00338381
http://tel.archives-ouvertes.fr/docs/00/33/83/81/PDF/Ibanez.Maria-Blanca_1990_these.pdf
http://tel.archives-ouvertes.fr/docs/00/33/83/81/PDF/Ibanez.Maria-Blanca_1990_these.pdf