HOME
HELP
PREFERENCES
Creators
Search
Titles
Creators
Dates
Phrases
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
Arima, Jun
Arima, Jun
(Jun Arima and Hajime Sawamura) --
Reformulation of Explanation by Linear Logic - Toward Logic for Explanation -
- 1993
Arima, Jun
(Jianguo Lu and Jun Arima) --
Inductive logic programming beyond logical implication
- 1996