Jorge J. Morales

According to our database, Jorge J. Morales authored at least 1 paper in 1978.

Collaborative distances:

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

1978

A Study in the Application of Theorem Proving.

David C. Luckham, Jorge J. Morales, Joachim F. Schreiber

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978