Inproceedings,

Presenting TSTP Proofs with Inference Web Tools.

, , , , , and .
PAAR/ESHOL, volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews