Wayne Snyder

发表

Alberto Oliart, Wayne Snyder, Wayne Snyder, 2004, J. Symb. Comput..
Paliath Narendran, Wayne Snyder, Franz Baader, 2001, Handbook of Automated Reasoning.
Paliath Narendran, Wayne Snyder, David A. Plaisted, 1993, JACM.
Wayne Snyder, Harald Ganzinger, Leo Bachmair, 1995, Inf. Comput..
Wayne Snyder, Wayne Snyder, 1993, Inf. Process. Lett..
Wayne Snyder, James G. Schmolze, Wayne Snyder, 1994 .
Paliath Narendran, Wayne Snyder, David A. Plaisted, 1990, Inf. Comput..
Wayne Snyder, Christopher Lynch, 1993, RTA.
Alberto Oliart, Wayne Snyder, 1998, CADE.
Wayne Snyder, 1997 .
Wayne Snyder, Harald Ganzinger, Leo Bachmair, 1992, CADE.
Wayne Snyder, Jean Gallier, J. Gallier, 1992 .
Wayne Snyder, Jean H. Gallier, 1987, RTA.
Wayne Snyder, Christopher Lynch, C. Lynch, 1991, RTA.
Wayne Snyder, Jean H. Gallier, J. Gallier, 1989, Theor. Comput. Sci..
Wayne Snyder, Christopher Lynch, C. Lynch, 1993, Theor. Comput. Sci..
Wayne Snyder, James G. Schmolze, Wayne Snyder, 1999, Knowl. Based Syst..
Wayne Snyder, Jean H. Gallier, Stan Raatz, 1987, LICS.
Wayne Snyder, James G. Schmolze, 1995, EUROVAV.
Wayne Snyder, Devin Knight, Brian Knight, 2012 .
Wayne Snyder, 1988 .
Wayne Snyder, James G. Schmolze, Wayne Snyder, 1996, CADE.
Wayne Snyder, James G. Schmolze, Wayne Snyder, 1997, AAAI/IAAI.
Paliath Narendran, Wayne Snyder, David A. Plaisted, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Paliath Narendran, Wayne Snyder, Jean H. Gallier, 1992, JACM.
Wayne Snyder, 1993, Progress in computer science and applied logic.
Wayne Snyder, Brian Knight, Ross LoForte, 2008 .
Wayne Snyder, Jean H. Gallier, J. Gallier, 1989, J. Symb. Comput..
Wayne Snyder, 1990, CADE.
Wayne Snyder, Alberto Oliart, 1999 .
Wayne Snyder, Stan Raatz, Jean Gallier, 1989 .