A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories
| Data(s) |
1995
|
|---|---|
| Identificador | |
| Idioma(s) |
en |
| Publicador |
International Computer Science Institute (ICSI), Berkely Calif. |
| Tipo |
info:eu-repo/semantics/workingPaper techreport |
