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