A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Sawamura, Hajime
View the document Sawamura, Hajime (Jun Arima and Hajime Sawamura) -- Reformulation of Explanation by Linear Logic - Toward Logic for Explanation - - 1993