Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » Test and Performance Tools Platform (TPTP) » Book dealing with TPTP?
Book dealing with TPTP? [message #104134] Tue, 10 July 2007 17:55 Go to next message
Charlie Kelly is currently offline Charlie KellyFriend
Messages: 276
Registered: July 2009
Senior Member
Hi,

I'm new to TPTP.

Is there a book dealing with TPTP?

Is there a summary that explains a good sequence to read the
documentation for the TPTP project?

Thanks

Charlie Kelly
Re: Book dealing with TPTP? [message #104265 is a reply to message #104134] Wed, 11 July 2007 10:36 Go to previous message
Paul Slauenwhite is currently offline Paul SlauenwhiteFriend
Messages: 975
Registered: July 2009
Senior Member
Hi Charlie,
Unfortunately, there are no books on TPTP. I would suggest reading some
of the viewlet/tutorials, past conference presentations and product
documentation:

http://www.eclipse.org/tptp/home/documents/communityresource s.php
http://help.eclipse.org/help32/index.jsp

Also, you can post any specific questions you have to this newsgroup or
one of the mailing lists:

http://www.eclipse.org/tptp/home/project_info/general/mailne ws.php

Paul
"Charlie Kelly" <Eclipse@CharlieKelly.com> wrote in message
news:f70h5v$nja$1@build.eclipse.org...
> Hi,
>
> I'm new to TPTP.
>
> Is there a book dealing with TPTP?
>
> Is there a summary that explains a good sequence to read the documentation
> for the TPTP project?
>
> Thanks
>
> Charlie Kelly
Previous Topic:AGR - Defining the name of the generated .execution file
Next Topic:Automated GUI Runner Intro fails with InactiveProcessException
Goto Forum:
  


Current Time: Tue Apr 23 08:42:32 GMT 2024

Powered by FUDForum. Page generated in 0.02794 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top