J. Belinfante
发表
J. Belinfante,
2001
.
Johan G. Belinfante,
Vishnu K. Agrawala,
V. K. Agrawala,
1971
.
G. Renninger,
J. Belinfante,
1966
.
B. Kolman,
Johan G. F. Belinfante,
T. Smith,
1968
.
V. K. Agrawala,
J. Belinfante,
1968
.
J. Belinfante,
1965
.
Bernard Kolman,
P. Holgate,
Johan G. Belinfante,
1973
.
Johan G. F. Belinfante,
J. Belinfante,
1999,
Journal of Automated Reasoning.
Johan G. F. Belinfante,
V. K. Agrawala,
J. Belinfante,
1969
.
Johan G. F. Belinfante,
J. Belinfante,
2003,
J. Symb. Comput..
P. Winternitz,
J. Belinfante,
1971
.
Johan G. F. Belinfante,
J. Belinfante,
2003,
CADE.
Bernard Kolman,
Johan G. Belinfante,
B. Kolman,
1989
.
J. Belinfante,
1964
.
Johan G. Belinfante,
J. Belinfante,
1987
.
Bernard Kolman,
Johan G. Belinfante,
B. Kolman,
1969
.
B. Kolman,
J. Belinfante,
H. A. Smith,
1968
.
J. Belinfante,
1973
.
J. Belinfante,
1976
.
J. Belinfante,
1977
.
Johan G. F. Belinfante,
J. Belinfante,
1999,
Journal of Automated Reasoning.