Matters

A log of ideas about what matters.

Sunday, September 26, 2004

PRL Automated Reasoning Project at Cornell 

PRL Automated Reasoning Project at Cornell "The project focuses on implementing computational mathematics and on providing logic-based tools that help automate programming"

# posted by John Black @ 7:21 AM
0 comments

0 Comments:

Post a Comment

Links

• Kashori Semantics for Agents Blog

archives

• 07/13/2003 - 07/20/2003
• 07/20/2003 - 07/27/2003
• 07/27/2003 - 08/03/2003
• 08/03/2003 - 08/10/2003
• 08/10/2003 - 08/17/2003
• 08/17/2003 - 08/24/2003
• 08/24/2003 - 08/31/2003
• 08/31/2003 - 09/07/2003
• 09/07/2003 - 09/14/2003
• 09/14/2003 - 09/21/2003
• 09/21/2003 - 09/28/2003
• 09/28/2003 - 10/05/2003
• 10/05/2003 - 10/12/2003
• 10/12/2003 - 10/19/2003
• 10/19/2003 - 10/26/2003
• 11/02/2003 - 11/09/2003
• 11/09/2003 - 11/16/2003
• 11/16/2003 - 11/23/2003
• 11/30/2003 - 12/07/2003
• 12/07/2003 - 12/14/2003
• 12/14/2003 - 12/21/2003
• 12/21/2003 - 12/28/2003
• 12/28/2003 - 01/04/2004
• 01/04/2004 - 01/11/2004
• 01/11/2004 - 01/18/2004
• 01/18/2004 - 01/25/2004
• 01/25/2004 - 02/01/2004
• 02/01/2004 - 02/08/2004
• 02/08/2004 - 02/15/2004
• 02/15/2004 - 02/22/2004
• 02/22/2004 - 02/29/2004
• 02/29/2004 - 03/07/2004
• 03/07/2004 - 03/14/2004
• 03/14/2004 - 03/21/2004
• 03/21/2004 - 03/28/2004
• 03/28/2004 - 04/04/2004
• 04/04/2004 - 04/11/2004
• 04/11/2004 - 04/18/2004
• 04/18/2004 - 04/25/2004
• 04/25/2004 - 05/02/2004
• 05/02/2004 - 05/09/2004
• 05/09/2004 - 05/16/2004
• 05/16/2004 - 05/23/2004
• 05/23/2004 - 05/30/2004
• 05/30/2004 - 06/06/2004
• 06/06/2004 - 06/13/2004
• 06/13/2004 - 06/20/2004
• 06/20/2004 - 06/27/2004
• 06/27/2004 - 07/04/2004
• 07/04/2004 - 07/11/2004
• 07/11/2004 - 07/18/2004
• 07/18/2004 - 07/25/2004
• 07/25/2004 - 08/01/2004
• 08/01/2004 - 08/08/2004
• 08/08/2004 - 08/15/2004
• 08/15/2004 - 08/22/2004
• 08/22/2004 - 08/29/2004
• 08/29/2004 - 09/05/2004
• 09/05/2004 - 09/12/2004
• 09/12/2004 - 09/19/2004
• 09/19/2004 - 09/26/2004
• 09/26/2004 - 10/03/2004
• 10/03/2004 - 10/10/2004
• 10/10/2004 - 10/17/2004
• 10/17/2004 - 10/24/2004
• 10/24/2004 - 10/31/2004
• 10/31/2004 - 11/07/2004
• 11/07/2004 - 11/14/2004
• 11/14/2004 - 11/21/2004
• 11/21/2004 - 11/28/2004
• 11/28/2004 - 12/05/2004
• 12/05/2004 - 12/12/2004
• 12/12/2004 - 12/19/2004
• 12/19/2004 - 12/26/2004
• 12/26/2004 - 01/02/2005
• 01/02/2005 - 01/09/2005
• 01/09/2005 - 01/16/2005
• 01/16/2005 - 01/23/2005
• 01/23/2005 - 01/30/2005
• 01/30/2005 - 02/06/2005
• 02/06/2005 - 02/13/2005
• 02/13/2005 - 02/20/2005
• 02/20/2005 - 02/27/2005
• 02/27/2005 - 03/06/2005
• 04/03/2005 - 04/10/2005
• 04/17/2005 - 04/24/2005
• 04/24/2005 - 05/01/2005
• 05/01/2005 - 05/08/2005
• 05/08/2005 - 05/15/2005
• 05/22/2005 - 05/29/2005
• 05/29/2005 - 06/05/2005
• 06/05/2005 - 06/12/2005
• 06/12/2005 - 06/19/2005
• 06/19/2005 - 06/26/2005
• 06/26/2005 - 07/03/2005
• 07/03/2005 - 07/10/2005
• 07/10/2005 - 07/17/2005
• 07/17/2005 - 07/24/2005
• 07/24/2005 - 07/31/2005
• 09/04/2005 - 09/11/2005
• 09/11/2005 - 09/18/2005
• 09/18/2005 - 09/25/2005
• 09/25/2005 - 10/02/2005
• 10/02/2005 - 10/09/2005
• 10/09/2005 - 10/16/2005
• 10/23/2005 - 10/30/2005
• 10/30/2005 - 11/06/2005
• 11/13/2005 - 11/20/2005
• 11/20/2005 - 11/27/2005
• 11/27/2005 - 12/04/2005
• 12/04/2005 - 12/11/2005
• 12/11/2005 - 12/18/2005
• 12/18/2005 - 12/25/2005
• 01/01/2006 - 01/08/2006
• 01/08/2006 - 01/15/2006
• 01/15/2006 - 01/22/2006
• 01/22/2006 - 01/29/2006
• 02/19/2006 - 02/26/2006
• 04/02/2006 - 04/09/2006
• 05/07/2006 - 05/14/2006
• 06/04/2006 - 06/11/2006
• 06/11/2006 - 06/18/2006
• 06/18/2006 - 06/25/2006
• 07/02/2006 - 07/09/2006
• 07/09/2006 - 07/16/2006
• 07/23/2006 - 07/30/2006
• 07/30/2006 - 08/06/2006
• 08/06/2006 - 08/13/2006
• 09/03/2006 - 09/10/2006
• 10/08/2006 - 10/15/2006
• 10/15/2006 - 10/22/2006
• 10/29/2006 - 11/05/2006
• 11/19/2006 - 11/26/2006
• 12/03/2006 - 12/10/2006
• 12/10/2006 - 12/17/2006
• 12/17/2006 - 12/24/2006
• 12/24/2006 - 12/31/2006
• 12/31/2006 - 01/07/2007
• 01/14/2007 - 01/21/2007
• 01/21/2007 - 01/28/2007
• 03/25/2007 - 04/01/2007
• 05/20/2007 - 05/27/2007
• 06/17/2007 - 06/24/2007
• 06/24/2007 - 07/01/2007
• 11/25/2007 - 12/02/2007
• 12/16/2007 - 12/23/2007
• 12/30/2007 - 01/06/2008
• 04/20/2008 - 04/27/2008
• 05/25/2008 - 06/01/2008