Search
Search Constraints
You searched for: Author/Creator SAPIÑA, J.- SAPIÑA, J. [remove] 2
- 005.115 2
- Artificial intelligence -- Computer programs -- Periodicals 2
- Constraint programming (Computer science) -- Periodicals 2
- Logic programming -- Periodicals 2
- Rewriting Logic, -- Narrowing, -- Variant, -- Maude, -- Embedding, -- Finite Variant Property 1
- runtime assertion checking, -- dynamic program and trace slicing, -- program diagnosis and Debugging, -- rewriting logic, -- Maude 1