ARP WWW Site, (with Information about Graduate Study in Australia).

Thread View: sci.philosophy.tech

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Greg Restall Wed, 29 Mar 1995 05:37

#1428

Author: Greg Restall
Date: Wed, 29 Mar 1995 05:37

34 lines
2327 bytes

The Automated Reasoning Project, at the Australian National University
is happy to invite interested people to browse its WWW server at

	http://arp.anu.edu.au/

The ARP is a group devoted to the study of logic as a computational,
philosophical, and mathematical discipline.  Our interests range
from intensional (modal, temporal and substructural) logics, 
theorem proving (tableaux, sequent systems, resolution), model
generation, to classical planning.

Our web site contains information about

* Who we are 
	(including the obligatory web pages).
* Graduate study opportunities 
	(including extensive scholarship information).
* Our Technical Reports.
* Our Seminars.

Feel free to come and browse!

If you have any questions, please email me.

Greg Restall

(The ARP Web Person)

-- 
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Redemption rips through the surface | gar@arp.anu.edu.au  Automated Reasoning
of time in the cry of a tiny babe.  | Project, Australian National University
                 - Bruce Cockburn.  | Canberra, ACT 0200, Australia.
-=-=-=-=-=-=-=-=http://arp.anu.edu.au/arp/gar/gar.html-=-=-=-=-=-=-=-=-=-=-=-=

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads