Machi Maeji

According to our database, Machi Maeji authored at least 1 paper in 1986.

Collaborative distances:

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

1986

ARGOS/V: A System for Verification of Prolog Programs.

Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986