Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!ZERMATT.LCS.MIT.EDU!nick
From: nick@ZERMATT.LCS.MIT.EDU (Nick Papadakis)
Newsgroups: comp.ai.digest
Subject: Info on Automatic Reasoning
Message-ID: <19880914011928.3.NICK@HOWARD-JOHNSONS.LCS.MIT.EDU>
Date: 14 Sep 88 01:19:00 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 34
Approved: ailist@ai.ai.mit.edu

From: Simon Tong <munnari!charlie.oz.au!spock@uunet.UU.NET>
Date: Thu, 8 Sep 88 03:23 EDT
To: munnari!comp-ai-digest@uunet.UU.NET
Responding-System: charlie.OZ
Path: charlie!spock
From: Simon Tong <spock@charlie.OZ>
Newsgroups: aus.ai,aus.wanted,comp.ai.digest
Subject: Info on Automatic Reasoning
Date: Thu, 8 Sep 88 03:23 EDT
Reply-To: Simon Tong <spock@charlie.OZ>
Distribution: aus
Organization: Deakin University
Lines: 20



  G'day.  I am after a list of Australian institutions that are actively 
  conducting research on Automatic Reasoning and/or Automated Theorem Proving.

  I am also looking for good references to books, articles or journals 
  that are devoted to the above areas.

  I would be grateful for any information ( esp. the current status of 
  research, new paradigms ).

  Please respond by mail and if anyone is interested, I shall summarize to the
  network.

  Thanks in advance.

==============================================================================
  Simon Tong
  Deakin University, Geelong, Victoria.
==============================================================================