Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Transactions: good or bad?

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@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 - 11:54:50 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US