[FoRK] guns, butter, or research into pork substitutes?

Robert Harley <robert.harley at gmail.com> on Thu Dec 20 06:12:12 PST 2007

Previous message: [FoRK] guns, butter, or research into pork substitutes?
Next message: [FoRK] guns, butter, or research into pork substitutes?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

>and we still spend $80M on son-of-ATP?!

Automated theorem proving?  Adenosine tri-phophate?  Do tell.

PS: Got my OLPC laptop.

R

More information about the FoRK mailing list