dblp.uni-trier.dewww.uni-trier.de

Machi Maeji

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1986
1 Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998

Coauthor Index

1Hiroshi Fujita [1]
2Kenji Horiuchi [1]
3Tadashi Kanamori [1]
4Hirohisa Seki [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)