David A. Wolfram
发表
Qing Guo,
Paliath Narendran,
David A. Wolfram,
2000,
Inf. Comput..
David A. Wolfram,
Joseph A. Goguen,
D. A. Wolfram,
1990,
DS-4.
David A. Wolfram,
D. A. Wolfram,
1990,
CADE.
David A. Wolfram,
2000,
J. Symb. Comput..
David A. Wolfram,
2004,
Journal of Automated Reasoning.
David A. Wolfram,
D. A. Wolfram,
1993
.
David A. Wolfram,
D. A. Wolfram,
1995,
Artif. Intell. Medicine.
David A. Wolfram,
2000,
Electron. Notes Theor. Comput. Sci..
David A. Wolfram,
Joseph A. Goguen,
D. A. Wolfram,
1991,
Object-Based Concurrent Computing.
David A. Wolfram,
D. A. Wolfram,
1994,
TYPES.
David A. Wolfram,
Karsten Konrad,
D. A. Wolfram,
1999,
CADE.
Qing Guo,
Paliath Narendran,
David A. Wolfram,
1996,
CADE.
David A. Wolfram,
D. A. Wolfram,
1994,
Theor. Comput. Sci..
David A. Wolfram,
1986,
ICLP.
David A. Wolfram,
D. A. Wolfram,
1989,
Inf. Process. Lett..
David A. Wolfram,
D. A. Wolfram,
1991,
RTA.
Michael J. Maher,
David A. Wolfram,
Jean-Louis Lassez,
1984,
ICLP.