A General Framework to Build Contextual Cover Set Induction Provers
Sorin StratulatVolume:
32
Year:
2001
Language:
english
Pages:
43
DOI:
10.1006/jsco.2000.0469
File:
PDF, 657 KB
english, 2001