Decidable reasoning in first-order knowledge bases with perfect introspection
Edición de la obra Decidable reasoning in first-order knowledge bases with perfect introspection
| Autor | Gerhard Lakemeyer |
|---|---|
| Editorial | University of Toronto, Computer Science Dept. |
| Fecha de publicación | 1990 |
| Lugar | Toronto |
| Idioma | inglés |
| Páginas | 20 |
| Serie | Technical reports on knowledge representation and reasoning -- 90-8 |
| Número de Cutter | L192d |