Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Amaniss, Ali"'
Autor:
Amaniss, Ali
Publikováno v:
Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 1996. Français. ⟨NNT : 1996NAN10092⟩
Not available
Ce travail se situe dans le cadre de la déduction automatique. Il traite d'une méthode, appelée la schématisation, utilisée pour remédier à des problèmes d'expressivité, d'efficacité et de divergence. La schématisation e
Ce travail se situe dans le cadre de la déduction automatique. Il traite d'une méthode, appelée la schématisation, utilisée pour remédier à des problèmes d'expressivité, d'efficacité et de divergence. La schématisation e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::05f81cb14cb150a9eaae4ac9d8b3e2df
https://hal.univ-lorraine.fr/tel-01747757
https://hal.univ-lorraine.fr/tel-01747757
