A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories
Détails
ID Serval
serval:BIB_732A3BA85F45
Type
Rapport: document publié par une institution, habituellement élément d'une série.
Sous-type
Working paper: document de travail dans lequel l'auteur présente les résultats de ses travaux de recherche. Les working papers ont pour but de stimuler les discussions scientifiques avec les milieux intéressés et servent de base pour la publication d'articles dans des revues spécialisées.
Collection
Publications
Institution
Titre
A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories
Détails de l'institution
International Computer Science Institute (ICSI), Berkely Calif.
Date de publication
1995
Numéro
Tech. Rep. TR 95-002
Langue
anglais
Création de la notice
23/02/2009 13:24
Dernière modification de la notice
20/08/2019 14:31
Données d'usage
