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

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

33.0. "ART: better on TI or VAX?" by SUOEX2::LEDERHAAS () Mon Sep 19 1988 09:14

T.R	Title	User	Personal Name	Date	Lines
33.1		COOKIE::WAHL	Dave, Data Base Systems CCAS	`Thu Sep 22 1988 02:33`	47
33.2	ART/VMS V3.2	TKOV58::MIMOMI	Fujio Mimomi/AIsystem/SWS/TKO	`Thu Sep 22 1988 11:47`	58
33.3		SUOEX2::LEDERHAAS		`Mon Sep 26 1988 13:47`	22
33.4	ART-VAX LISP-C	CESARE::EANDI	AI is better than none	`Tue Nov 29 1988 15:40`	15