Taku Takeshima (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

1

Hajime Sawamura, Taku Takeshima: Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization. SLP 1985: 200-207

Selection of 1 from 8 records - Taku Takeshima has 3 coauthors