Kanada, Y., SIG on Programming Language, IPSJ, PL-87-12, 1987.
[ 日本語のページ ]
[ No English abstract is available. ]
Introduction to this research theme: Logic/Symbolic Vector Processing