Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornellcs!travelers.mail.cornell.edu!news.kei.com!newshost.marcam.com!news.mathworks.com!tank.news.pipex.net!pipex!howland.reston.ans.net!news.sprintlink.net!in1.uu.net!EU.net!ieunet!maths.tcd.ie!news.tcd.ie!rwallace
From: rwallace@tcd.ie (russell wallace)
Subject: Theorem proving in number theory?
Message-ID: <DEwzq5.CrB@news.tcd.ie>
Sender: usenet@news.tcd.ie (TCD News System )
Organization: University of Dublin, Trinity College
Date: Thu, 14 Sep 1995 21:30:05 GMT
Lines: 12
