Article| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | A.0.2 CAC97 v.1 (Browse shelf(Opens below)) | No corresponde |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| A.0.2 CAC97 v.1 Programación en lógica temporal basada en los operadores since y until | A.0.2 CAC97 v.1 Disjunctive logic programming with negation as failure in the head | A.0.2 CAC97 v.1 Propiedades del operador de consecuencia argumentativo | A.0.2 CAC97 v.1 Construction of revisions by explanations | A.0.2 CAC97 v.1 Generalización de un algoritmo de inferencia basado en gramáticas de grafos | A.0.2 CAC97 v.1 Teoría de los juegos y selección de teorías | A.0.2 CAC97 v.1 Negation in logic programs : Is it necessary two connectives? |