کتاب های Narciso Martí Oliet
All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.), 2007
Dynamic Worlds: From the Frame Problem to Knowledge Management
Narciso Martí-Oliet, 1999
