Discussion Threads in sci.logic
28 threads • Page 1 of 1| Thread Subject | Last Message |
|---|---|
|
Theorem Provers for Temporal Logic
By: kropf@i81s1.ira. on Fri, 07 Jul 1989 15:56 |
2
36 Years ago
|
|
Re: Clarification of QL comment.
By: steve@hubcap.cle on Fri, 16 Jun 1989 12:48 |
1
36 Years 1 Month ago
|
|
Conference on Predication
By: rapaport@cs.Buff on Fri, 09 Jun 1989 15:21 |
1
36 Years 1 Month ago
|
|
Looking for Conferences Down Under
By: dwights@ogccse.o on Thu, 25 May 1989 16:34 |
1
36 Years 2 Months ago
|
|
Questions in Formal Language Theory
By: ramesh@linc.cis. on Thu, 18 May 1989 18:04 |
4
36 Years 2 Months ago
|
|
complexity question
By: gottlob@vexpert. on Wed, 24 May 1989 11:45 |
1
36 Years 2 Months ago
|
|
abduction vs. induction
By: marquis@crin.cri on Wed, 17 May 1989 02:19 |
4
36 Years 2 Months ago
|
|
Re: abduction vs. induction
By: punch@melon.cis. on Wed, 17 May 1989 16:39 |
1
36 Years 2 Months ago
|
|
Looking for article by Wolper, Vardi & Sistla
By: hans@lfcs.ed.ac. on Fri, 12 May 1989 20:07 |
1
36 Years 2 Months ago
|
|
Buffalo Cog Sci / Nicholas Asher
By: rapaport@cs.Buff on Mon, 24 Apr 1989 19:03 |
1
36 Years 3 Months ago
|
|
Montague's papers
By: masini@crin.crin on Tue, 18 Apr 1989 19:32 |
1
36 Years 3 Months ago
|
|
Montague's papers
By: masini@crin.crin on Sun, 16 Apr 1989 23:16 |
1
36 Years 3 Months ago
|
|
Parallel Simulated Annealing / References and Are You Doing It?
By: dgreen@squid.cs. on Thu, 13 Apr 1989 23:14 |
1
36 Years 3 Months ago
|
|
SUNY Buffalo Logic Colloquium
By: rapaport@cs.Buff on Mon, 03 Apr 1989 18:16 |
1
36 Years 3 Months ago
|
|
inductive reducibility
By: maria@theo.uucp on Sat, 25 Mar 1989 12:29 |
1
36 Years 4 Months ago
|
|
Second call for votes on sci.edu newsgroup
By: lvc@tut.cis.ohio on Fri, 24 Mar 1989 21:58 |
1
36 Years 4 Months ago
|
|
Help support our scientific colleagues in the Soviet Union
By: plaice@uvicctr.U on Wed, 30 Nov 1988 19:35 |
2
36 Years 7 Months ago
|
|
Re: Letter to Gorbachev
By: plaice@uvicctr.U on Wed, 30 Nov 1988 19:43 |
1
36 Years 8 Months ago
|
|
SUNY Buffalo Logic Colloquium: Nelson
By: rapaport@cs.Buff on Wed, 19 Oct 1988 20:54 |
1
36 Years 9 Months ago
|
|
SUNY Buffalo Philosophy Colloquium
By: rapaport@cs.Buff on Tue, 18 Oct 1988 15:18 |
1
36 Years 9 Months ago
|
|
SUNY Buffalo Logic Colloquium: Goodman/Math of Nature
By: rapaport@cs.Buff on Thu, 29 Sep 1988 14:42 |
1
36 Years 10 Months ago
|
|
SUNY Buffalo Logic Colloquium: Goedel
By: rapaport@cs.Buff on Tue, 20 Sep 1988 18:51 |
1
36 Years 10 Months ago
|
|
Logic courseware for the Mac
By: barwise@csli.STA on Tue, 09 Aug 1988 20:40 |
1
36 Years 11 Months ago
|
|
Turing's World vs. the ATMS
By: jack@cs.glasgow. on Fri, 01 Jul 1988 15:17 |
1
37 Years ago
|
|
Philosophy & Computers Conference
By: rapaport@sunybcs on Mon, 20 Jun 1988 17:16 |
1
37 Years 1 Month ago
|
|
Fermats Last Theorem
By: degen@faui44.UUC on Wed, 04 May 1988 11:26 |
1
37 Years 2 Months ago
|
|
British Association of Logicians
By: jack@cs.glasgow. on Mon, 18 Apr 1988 10:37 |
1
37 Years 3 Months ago
|
|
Wanted: "Introduction to Metamathematics"
By: cline@THEORY.CS. on Tue, 05 Apr 1988 20:52 |
2
37 Years 3 Months ago
|
Thread Navigation
Threads show conversation groups with message counts
Click thread titles to view the full discussion
G to switch to chronological article view