![]() | ![]() |
1993 | ||
---|---|---|
2 | J. Piris, María José Ramírez: An Implementation of Equational Constructive Negation. GULP 1993: 143-156 | |
1 | A. Mora, J. Piris, María José Ramírez, Moreno Falaschi: A Prototype System for Equational Constructive Negation. ILPS 1993: 638 |
1 | Moreno Falaschi | [1] |
2 | A. Mora | [1] |
3 | M. José Ramírez-Quintana (María José Ramírez) | [1] [2] |