Re: Transactions: good or bad?
From: Alfredo Novoa <alfredo_at_ncs.es>
Date: 12 Jun 2003 09:54:50 -0700
Message-ID: <e4330f45.0306120854.5bfdc606_at_posting.google.com>
Date: 12 Jun 2003 09:54:50 -0700
Message-ID: <e4330f45.0306120854.5bfdc606_at_posting.google.com>
anakin_at_unitedsoftworks.com (tj bandrowsky) wrote in message news:<af3d9224.0306110901.4a27ea8a_at_posting.google.com>...
> If people can make proofs, why can't computers?
An interesting link:
http://ai.eecs.umich.edu/people/durfee/courses/492winter97/handouts/NY%20Times%20article
Alfredo Received on Thu Jun 12 2003 - 18:54:50 CEST