Betty Ramírez

According to our database, Betty Ramírez authored at least 1 paper in 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1993

A Formal Study of Forward Reasoning Consistency on KBSs.

Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez

Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993