TPTP meeting, 2008-07-16 +,
tw:Twinfo/telecon/tptp +,
TPTP meeting, 2008-07-21 +,
…
DC:relation
| TPTP-PML |
Has name
TPTP-PML
Has project status
active
Has coordinator
Deborah L. McGuinness +
Has member
Geoff Sutcliffe +, Cynthia Chang +, Paulo Pinheiro da Silva +, Li Ding +
Has project type
Research Project +
Has team
Tetherless World Constellation (old) +
Has topic
TPTP +, Proof +
Part of
Inference Web +
Categories Research Project +
|
