"Transformation of Transaction Logic Programs based on Estimation of ..."

Hideki Isozaki, Hirofumi Katsuno (1995)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2013-12-02