Toggle navigation
Home
Master Journal List
Contact
Suggest a Journal
Articles by Y. Jiang (1)
Enumerating Proofs of Positive Formulae
G Dowek
and
Y. Jiang
Computer Journal 52 ( 7 ): 799 - 807 , 2009
Do you have a suggestion for journals
Suggest Journal