Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)

From Tetherless World Wiki

Jump to: navigation, search
Presenting TSTP Proofs with Inference Web Tools +  Booktitle
Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)
FOAF:name  Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)
Categories  Entity +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools