Re: My first lptp proof
- From: student <nospam@xxxxxxxxxxxxxx>
- Date: Thu, 21 Apr 2005 21:38:42 GMT
Sorry, I forgot to include a pointer to the software: http://www.inf.ethz.ch/personal/staerk/lptp.html
--
.
- Prev by Date: Re: in praise of tabling
- Next by Date: Re: in praise of tabling
- Previous by thread: Interpreter/Compiler texts
- Next by thread: Re: My first lptp proof
- Index(es):