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.
Views
Personal tools