Computer Chess Club Archives


Search

Terms

Messages

Subject: Re: The usefull-ness of PVS

Author: Michel Langeveld

Date: 08:54:39 01/14/04

Go up one level in this thread


On January 14, 2004 at 11:53:38, Michel Langeveld wrote:

>This is how I implemented PVS now:

I meant here this is how I implemented ASP now.



This page took 0 seconds to execute

Last modified: Thu, 15 Apr 21 08:11:13 -0700

Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.