English
español
Browsing by Author Agusti, Jaume
Showing results 1 to 5 of 5
Rights | Preview | Issue Date | Title | Author(s) | Type |
---|---|---|---|---|---|
closedAccess | ![]() | 1996 | Bi-Rewrite Systems | Levy, Jordi ![]() ![]() | artículo |
openAccess | ![]() | 1994 | Expressing Program Requirements Using Refinement Lattices | Robertson, Dave; Agusti, Jaume ![]() ![]() | artículo |
closedAccess | ![]() | 1994 | Local multi-valued logics in modular expert systems | Agusti, Jaume ![]() ![]() ![]() ![]() ![]() ![]() | artículo |
closedAccess | ![]() | 2002 | On the insufficiency of ontologies: Problems in knowledge sharing and alternative solutions | Correa da Silva, Flavio; Vasconcelos, Wamberto; Robertson, Dave; Brilhante, Virginia; de Melo, Ana C.V.; Finger, Marcelo; Agusti, Jaume ![]() | artículo |
openAccess | ![]() | 1997 | Towards specifying with inclusions. | Agusti, Jaume ![]() ![]() | artículo |