Sciweavers

Share
1 search results - page 1 / 1
» TRP 2.0: A Temporal Resolution Prover
Sort
View
CADE
2003
Springer
9 years 10 months ago
TRP++2.0: A Temporal Resolution Prover
Ullrich Hustadt, Boris Konev
books