[Search for users] [Overall Top Noters] [List of all Conferences]

Conference cscma::art

Title:	Automated Reasoning Tool

Moderator:	INSANE::SYSTEM

Created:	Thu May 08 1986
Last Modified:	Thu Jul 15 1993
Last Successful Update:	Fri Jun 06 1997
Number of topics:	36
Total number of notes:	106
Number with bodies:	0

a * after the topic number in the table indicates the body of the base post is in the cache and a + after the topic number indicates at least one replies body is in the cache (*+ means both are true)

Click here for list of top noters for this conference

Topic
# Replies Author Written Subject
1.0 INSANE::SYSTEM Thu May 08 1986 Welcome to the ART conference.
2.0 ASYLUM::PICKETT Tue May 13 1986 ART/VMS SPD
3.0 2 SPYDER::WINN Wed May 14 1986 Art on Vax Workstations
4.0 4 MERIDN::BAY Fri May 16 1986 How do shells compare?
5.0 3 MERIDN::BAY Fri May 16 1986 Where can you get ART?
6.0 1 BACH::VANROGGEN Sat May 17 1986 Using ART?
7.0 1 TKOV58::MIMOMI Tue Jun 24 1986 When will ART be released?
8.0 RACHEL::BARABASH Wed Jul 09 1986 Wanted: Sample ART programs
9.0 4 PHOBOS::WICKERT Thu Oct 16 1986 Some *HOT* rumors
10.0 2 PHOBOS::WICKERT Thu Oct 16 1986 CHECK YOUR LITERATURE ROOMS!
11.0 2 TKOV58::YAMAMOTO Fri Nov 07 1986 ART Scedule
12.0 1 TKOV58::MIMOMI Fri Jan 09 1987 Monkey and Bananas
13.0 TAV Mon Jan 12 1987 ART references (pre V3.
14.0 10 CONS::GUEST Wed Feb 04 1987 C-ART V3.
15.0 3 OSAV Fri Feb 06 1987 ART-C under ULTRIX ??
16.0 4 NY1MM::WICKERT Fri Feb 13 1987 What does C-based really mean?
17.0 4 USHS Mon Feb 23 1987 What platforms?
18.0 1 NY1MM::WICKERT Thu Feb 26 1987 ART on SUN?
19.0 1 TKOV58::MATSUDAIRA Mon Apr 06 1987 Bug in ART LISP 3.
20.0 2 P51D::EYRE Thu Apr 09 1987 (update ?)
21.0 4 USATSL::HENNESSY Mon Apr 20 1987 What's GNU?
22.0 TKOV58::TAKESHIMA Tue Apr 21 1987 on Utterance facts
23.0 P51D::EYRE Tue May 05 1987 (Vaxstation ART ?)
24.0 4 CSCMA::R_ELDRIDGE Wed May 06 1987 Digital Announces ART/VMS V3.
25.0 1 SKYLRK::MEAGHER Thu May 14 1987 Error diagnostics handling?
26.0 TKOV58::MIMOMI Thu Jun 11 1987 Statistics in ART/VMS V3.
27.0 TKOV58::TAKESHIMA Mon Jun 15 1987 floating point bug !!
28.0 PHOBOS::WICKERT Mon Jul 06 1987 SUN will be our top ART Competitor... not Symbolics
29.0 8 COOKIE::WAHL Sat Nov 14 1987 What is the current status of ART?
30.0 ITAMKT::SIMINO Thu Dec 17 1987 ART ON VAX! Is still alive???
31.0 AIAG::GANGEL Sun Feb 14 1988 Who's A Good Programmer?
32.0 1 HYEND::RLEE Fri Jul 08 1988 Compare ART/KEE/KnowledgeCraft ?
33.0 4 SUOEX2::LEDERHAAS Mon Sep 19 1988 ART: better on TI or VAX?
34.0 1 PRSUD1::MERCIER Wed Sep 21 1988 ART in C (again ?)
35.0 2 PRSUD2::CAYATTE Wed Jan 18 1989 ART on VMS V5?
36.0 SALEM::TAYLOR_J Thu Aug 23 1990 AI question/speculation

Topic #	Replies	Author	Written	Subject
1.0		INSANE::SYSTEM	Thu May 08 1986	Welcome to the ART conference.
2.0		ASYLUM::PICKETT	Tue May 13 1986	ART/VMS SPD
3.0	2	SPYDER::WINN	Wed May 14 1986	Art on Vax Workstations
4.0	4	MERIDN::BAY	Fri May 16 1986	How do shells compare?
5.0	3	MERIDN::BAY	Fri May 16 1986	Where can you get ART?
6.0	1	BACH::VANROGGEN	Sat May 17 1986	Using ART?
7.0	1	TKOV58::MIMOMI	Tue Jun 24 1986	When will ART be released?
8.0		RACHEL::BARABASH	Wed Jul 09 1986	Wanted: Sample ART programs
9.0	4	PHOBOS::WICKERT	Thu Oct 16 1986	Some HOT rumors
10.0	2	PHOBOS::WICKERT	Thu Oct 16 1986	CHECK YOUR LITERATURE ROOMS!
11.0	2	TKOV58::YAMAMOTO	Fri Nov 07 1986	ART Scedule
12.0	1	TKOV58::MIMOMI	Fri Jan 09 1987	Monkey and Bananas
13.0		TAV	Mon Jan 12 1987	ART references (pre V3.
14.0	10	CONS::GUEST	Wed Feb 04 1987	C-ART V3.
15.0	3	OSAV	Fri Feb 06 1987	ART-C under ULTRIX ??
16.0	4	NY1MM::WICKERT	Fri Feb 13 1987	What does C-based really mean?
17.0	4	USHS	Mon Feb 23 1987	What platforms?
18.0	1	NY1MM::WICKERT	Thu Feb 26 1987	ART on SUN?
19.0	1	TKOV58::MATSUDAIRA	Mon Apr 06 1987	Bug in ART LISP 3.
20.0	2	P51D::EYRE	Thu Apr 09 1987	(update ?)
21.0	4	USATSL::HENNESSY	Mon Apr 20 1987	What's GNU?
22.0		TKOV58::TAKESHIMA	Tue Apr 21 1987	on Utterance facts
23.0		P51D::EYRE	Tue May 05 1987	(Vaxstation ART ?)
24.0	4	CSCMA::R_ELDRIDGE	Wed May 06 1987	Digital Announces ART/VMS V3.
25.0	1	SKYLRK::MEAGHER	Thu May 14 1987	Error diagnostics handling?
26.0		TKOV58::MIMOMI	Thu Jun 11 1987	Statistics in ART/VMS V3.
27.0		TKOV58::TAKESHIMA	Mon Jun 15 1987	floating point bug !!
28.0		PHOBOS::WICKERT	Mon Jul 06 1987	SUN will be our top ART Competitor... not Symbolics
29.0	8	COOKIE::WAHL	Sat Nov 14 1987	What is the current status of ART?
30.0		ITAMKT::SIMINO	Thu Dec 17 1987	ART ON VAX! Is still alive???
31.0		AIAG::GANGEL	Sun Feb 14 1988	Who's A Good Programmer?
32.0	1	HYEND::RLEE	Fri Jul 08 1988	Compare ART/KEE/KnowledgeCraft ?
33.0	4	SUOEX2::LEDERHAAS	Mon Sep 19 1988	ART: better on TI or VAX?
34.0	1	PRSUD1::MERCIER	Wed Sep 21 1988	ART in C (again ?)
35.0	2	PRSUD2::CAYATTE	Wed Jan 18 1989	ART on VMS V5?
36.0		SALEM::TAYLOR_J	Thu Aug 23 1990	AI question/speculation