http:^^www.cs.unm.edu^~veroff^
来自「This data set contains WWW-pages collect」· EDU^~VEROFF^ 代码 · 共 118 行
EDU^~VEROFF^
118 行
Date: Mon, 25 Nov 1996 23:19:45 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Tue, 19 Nov 1996 06:19:44 GMTContent-length: 3233<HTML><HEAD> <TITLE> Bob Veroff's Home Page </TITLE></HEAD><BODY TEXT="#000000" BGCOLOR="#E4E4F4" LINK="#B00020" VLINK="#404040"><H2>Robert Veroff</H2><!WA0><IMG ALIGN=LEFT SRC="http://www.cs.unm.edu/~veroff/images/veroff.jpeg"><BLOCKQUOTE>Professor<BR><!WA1><A HREF="http://www.cs.unm.edu">Computer Science Department</A><BR><!WA2><A HREF="http://www.unm.edu">University of New Mexico</A><BR><BR>301H Farris Engineering Center<BR>Albuquerque, NM 87131<BR><BR><!WA3><A HREF="mailto:veroff@cs.unm.edu">veroff@cs.unm.edu</A><BR>Phone: (505) 277-4231<BR>Fax: (505) 277-6927<BR></BLOCKQUOTE><BR><EM>Ph.D., Northwestern University, 1980</EM><BR><EM>Interests</EM>: automated deduction, expert database systems<HR><H3>Some Links for Automated Deduction</H3><UL><LI> <!WA4><A HREF="http://www.mcs.anl.gov/home/mccune/ar/jar/">JAR</A>,the Journal of Automated Reasoning <LI> <!WA5><A HREF="http://www.mcs.anl.gov/home/mccune/ar/aar/">AAR</A>,the Association for Automated Reasoning <LI> <!WA6><A HREF="http://www.cs.albany.edu/~nvm/cade.html">CADE</A>,the Conference on Automated Deduction <LI><!WA7><A HREF="http://www.mcs.anl.gov/home/mccune/ar/otter/">Otter</A>,a program that searches for proofs<LI> <!WA8><A HREF="http://www.mcs.anl.gov/home/mccune/ar/">Automated Reasoning at Argonne National Laboratory</A><LI><!WA9><A HREF="http://www.mcs.anl.gov/home/mccune/ar/others.html">Other theorem proving systems and groups</A><LI><!WA10><A HREF="http://www.mcs.anl.gov/qed">The QED Project</A><LI><!WA11><A HREF="http://www.ora.on.ca/biblio/biblio-prover.html">ORA Canada'sBibliography of Automated Deduction</A></UL><HR><H3>Books</H3><UL><P><LI>Helman, P. and Veroff, R.,<I>Intermediate Problem Solving and Data Structures: Walls and Mirrors</I>,Benjamin Cummings Publishing Company, Menlo Park, California (1986).<P><LI>Helman, P. and Veroff, R.,<I>Walls and Mirrors: Intermediate Problem Solving and Data Structures(Modula-2 Edition)</I>,Benjamin Cummings Publishing Company, Menlo Park, California (1988).<P><LI>Veroff, R., ed.,<I>Automated Reasoning and Its Applications: Essays in Honor of LarryWos</I>,MIT Press, Cambridge, Massachusetts (expected 1997).</UL><H3>Other Selected Publications</H3><UL><P><LI>Helman, P. and Veroff, R.,Designing Deductive Databases,<I>J. Automated Reasoning</I>, 4(1):29-68 (1988).<P><LI>Wos, L. and Veroff, R.,Resolution, Binary: Its Nature, History, and Impact on the Use ofComputers,in <I>Encyclopedia of Artificial Intelligence</I>, 2nd edition,John Wiley & Sons, New York, pp. 1341-1353 (1991).<P><LI>Veroff, R. and Wos, L.,The Linked Inference Principle, I: The Formal Treatment,<I>J. Automated Reasoning</I>, 8(2):213-274 (1992).<P><LI>Wos, L. and Veroff, R.,Logical Basis for the Automation of Reasoning: Case Studies,in <I>Deduction Methodologies</I>, vol. 2,<I>Handbook of Logic in Artificial Intelligence and Logic Programming</I>,eds. D. M. Gabbay, C. J. Hogger, and J. A. Robinson,Oxford University Press, Oxford, pp. 1-40 (1994).<P><LI>Veroff, R., Using Hints to Increase the Effectiveness of anAutomated Reasoning Program: Case Studies,<I>J. Automated Reasoning</I>, 16(3):223-239 (1996).</UL><HR><ADDRESS> Last Changed: October 3, 1996 by veroff@cs.unm.edu</ADDRESS><HR>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?