| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
Home -> Community -> Usenet -> comp.databases.theory -> Re: Transactions: good or bad?
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
![]() |
![]() |